div.bar {
  margin: 0;
  font-size: 90% /*smaller*/;
  text-align: left;
  font-weight: bold;
  font-family: Arial, sans-serif;
  position: absolute;
  top: 0;
  left: 0;
  right: 0;
  width: 100%;
  height: auto;
  background-color: #dddddd;
  color: black;
  padding-left: 1em;
  padding-right: 1em;
  padding-top: 0.3em;
  padding-bottom: 0.3em;
  border-bottom: 1px solid #444444;
  border-top: 1px solid white;
}
div.bar ul {
  list-style-type: none;
  padding: 0px;
  margin: 0px;
}
div.bar ul li {
  display: inline;
  padding: 0px;
  margin: 0px;
}

div.bar a { color: black; text-decoration: none; background-color: #dddddd; }
div.bar a:link, div.bar a:visited { color: black; text-decoration: none; background-color: #dddddd; }
div.bar a:hover { color: #999999; text-decoration: none; background-color: #dddddd; }