body {
 font-family: Arial, Geneva, Helvetica; font-size: 100%;
 background-color: #ffffcc; margin: 0em 0em 0em 12em; }

div.banner {
  margin: 0;
  font-size: 100% /*smaller*/;
  font-weight: normal;
  line-height: 1.1;
  text-align: left;
  position: fixed;
  top: 0.5em;
  left: 0.5em;
  width: 11em;
  right: 0em;
}

div.banner p {
  margin: 0; 
  padding: 0.3em 0.4em;
  font-family: Arial, Geneva, Helvetica;
  background: #FFFFCC;
  border: thick outset #000000;
  color: #000000;
}

div.banner a, div.banner em { display: block; margin: 0 0.5em }
div.banner a, div.banner em { border-top: 2px groove #FFFFFF }
div.banner a:first-child { border-top: #000000 }
div.banner em { color: #000000 }

div.banner a:link { text-decoration: none; color: #0000FF }
div.banner a:visited { text-decoration: none; color: #0000FF }
div.banner a:hover { background: black; color: #FFFFCC }
div.banner a:active { background: black; colour: #000000 }