body div.menu { display: block } /* Overrides 'none' in banner-*.css */

div.menu {
  margin: 0;
  font-size: 90% /*smaller*/;
  font-weight: bold;
  line-height: 2.0;
  text-align: center;
  position: absolute;		/* Fallback if 'fixed' is not supported */
  top: 1em;
  left: 1em;
  width: 10em;
  right: auto;
}

div.menu
{
  position: fixed;		/* Overrides 'absolute' above */
}

div.menu p {
  margin: 0;
  padding: 0.5em 0.6em;
  font-family: Arial, sans-serif;
  font-size: 16px;
  background: transparent;    /* Override according to type of page */
/*  border: thin outset #999;	 Override this color together with bg */
  color: transparent;
}

div.menu a, div.menu em { display: block; margin: 0 0.5em }
/* div.menu a, div.menu em { border-top: 1px groove #999 } */
div.menu a:first-child { border-top: none }
div.menu em { color: #CFC }

div.menu a:link { text-decoration: none; color: blue }
div.menu a:visited { text-decoration: none; color: #00D }
div.menu a:hover { background: black; color: white }

div.menu img { height: 31px; float: none; vertical-align: middle }

div.menu { display: none }

div.menu a:hover { border: thin outset #999; background: transparent; color: red }