#navigation {
  font-family: Arial, Helvetica, sans-serif;
  font-size: 10pt;
  line-height: 0.6em;
  text-align: center;
}

#navigation ul {
  list-style: none;
  margin: 0;
  padding: 0;
  padding-top: 4px;}

#navigation li {
  display: inline;}

#navigation a:link, #navigation a:visited {
  margin-right: 2px;
  padding: 3px 10px 2px 10px;
  border-left: 2px solid #fff;
  border-right: 2px solid rgb(0%, 40%, 50%);
  border-top: 2px solid #fff;
  border-bottom: 2px solid rgb(0%, 40%, 50%);
  background-color: rgb(0%, 85%, 80%);
  color: #000088;
  text-decoration: none;}

#navigation a:hover {
  border-left: 2px solid rgb(0%, 40%, 50%);
  border-right: 2px solid #fff;
  border-top: 2px solid rgb(0%, 40%, 50%);
  border-bottom: 2px solid #fff;}