body div.menu { display: block }

div.menu {
  margin: 0;
  font-weight: bold;
  line-height: 1.1;
  text-align: center;
  position: fixed;
  top: 2em;
  left: auto;
  width: 8.5em;
  right: 0.5em;
}

div.menu p {
  margin: 0;
  padding: 0.3em 0.4em;
  font-family: Arial, sans-serif;
  border: thin solid blue;
  color: blue;
  background: url(siteimages/semi2x2b.png) transparent fixed;
}

div.menu p.heading {
  display: block;
  color: #000080;
  width: 6em;
  margin-bottom: 0.2em;
  margin-top: -1.6em;
  margin-right: auto;
  margin-left: auto;
  text-align: center;
  padding: 0.15em;
}

div.menu a, div.menu em { display: block; margin: 0 0.5em }
div.menu a, div.menu em { border-top: 2px groove #999}
div.menu a:first-child { border-top: none }
div.menu em { color: #000080 }
div.menu a:link { text-decoration: none; color: blue }
div.menu a:visited { text-decoration: none; color: blue }
div.menu a:hover { background: blue; color: white }
div.menu img { height: 24px; float: none; vertical-align: middle }