body { 
  font-family: Tahoma, Arial; 
  margin-top: 5px; 
  margin-bottom: 0px
}
a:link { color: #FFCC33; }
a:visited { color: #997070; }
a:hover { color: white }

.pselect { background-color: #A0A0AF; padding: 5px; width: 70%; border: thick outset }
.header { background-color: #0030AF; padding: 5px; width: 70% }
.discuss {  width: 70%; border: thick inset #0030AF; margin: 2em }
td.psel { padding-bottom: 4px; border-bottom: 1px solid #333333 }

/* This was pretty much swiped from http://www.w3.org/Style/Examples/007/menus.html */

div.banner {
  margin: 0;
  font-size: 80% /*smaller*/;
  font-weight: bold;
  line-height: 1.1;
  text-align: center;
  position: absolute;            /* Fallback if 'fixed' is not supported */
  position: fixed;
  top: 2em;
  left: auto;
  width: 8.5em;
  right: 2em;
}
div.banner p {
  margin: 0; 
  padding: 0.3em 0.4em;
  font-family: Arial, sans-serif;
  background: #000099;
  border: thin outset #FC3; 
}

div.banner a, div.banner em { display: block; margin: 0 0.5em; padding: 0.2em 0 }
div.banner a, div.banner em { border-top: 2px groove #900 }
div.banner a:first-child { border-top: none }
div.banner em { color: #CFC }

/* div.banner a:link { text-decoration: none; color: white } */
div.banner a:link { text-decoration: none; }
div.banner a:visited { text-decoration: none }
div.banner a:hover { background: black; color: white }