/* some simple defaults */
    img {border-style: none; vertical-align: middle}
    p   {margin-bottom: 0; margin-top: 0}
    p + p {margin-top: .8em}
    table + p {margin-top: .8em}
    h1:first-child {margin-top: 0}
  /* banner */
    div.banner {text-align: center; padding: 0; margin: 0}
    table.banner {display: inline; padding: 0; margin: 0}
    h1.banner {height: 65px}
    *.titlenote {font-size: x-small; margin: 0; padding: 0; display: block}
  /* navigation panel */
    div.navpanel  {font-size: smaller}
    div.navpanel *.navtable {width: 100%}
    div.navpanel *.navtable {background-color: rgb(255,255,144)}
    *.navcell {background-color: rgb(192,255,192); padding: 2px; width: 100%}
    *.navcell:hover {border-style: outset; border-color: rgb(192,255,192); border-width: 1px; padding: 1px}
    *.navcell a {display: block; width: 100%; margin: 0; padding: 0}
  /* content panel */
    ul.news li + li {margin-top: .8em}
    *.content a {font-weight: bold}
    /** a note is a yellow box with a message in a small font **/
    div.note {margin-left: 3em; margin-right: 3em; background-color: rgb(255,255,192); border-style: inset; padding: .2em; border-width: 1px; font-size: x-small}
  /* tag line */
    *.tagline {display: block; width: 100%; text-align: center}