a.navbar1logo {padding-left: 0.5em; padding-right: 0.5em; font-family: arial, helvetica, sans-serif; font-weight: bold; font-size: 1em; background-color: #FFFFCC; }
  span.navbar1linkbar {padding-left: 0.5em; padding-right: 0.5em; font-family: arial, helvetica, sans-serif; font-size: 1em; background-color: #CCFFFF; }
  /* Change the font-size for "p" from 10pt to 1em, and then scale other font-size values accordingly.  Barry G. Wong, Thu 13 Apr 2017 02:52:20 PM PDT */