div.banner {
  margin: 0;
/*  font-size: 80% */ /*smaller*/;
  font-weight: bold;
  line-height: 1.1;
  text-align: center;
  position: absolute;
  top: 1em;
  left: 1em;
  width: 13.2em;
  right: auto;
}
body>div.banner {position: fixed}

div.banner p {
  margin: 0; 
  padding: 0.2em 0.3em;
  font-family: "Arial", "Helvetica", sans-serif;
  background: #363;
  border: thin outset #363;
  color: white;
  font-size: 100%
}

div.banner a, div.banner em { display: block; margin: 0 0.5em }
div.banner a, div.banner em { border-top: 2px groove #363 }
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:visited { text-decoration: none; color: #CCC }
div.banner a:hover { background: black; color: white }

BODY {
  /* background: #FBFBFF; */
  margin-left: 15.3em;
  margin-right: 1em;
  font-family: "Verdana", "Arial", "Helvetica", sans-serif;
  font-size: 100%
}

P {
  font-weight: normal;
}

P.disclaimer {
  font-size: 85%;
  font-weight: normal;
}

TD.link {
  font-size: 90%;
  font-weight: normal;
  text-align: center;
}