/* menu */

#menu ul {
width: 100%;
margin: 0 0 0 1em;
padding: 0;
}
#menu li {
display: inline;
margin: 0;
padding: 0;
}
#menu a {
display: block;
height: 100%;
float: center;
padding: 2px 8px 2px 8px;
font-size: 1em;
font-weight: bold;
text-decoration: none;
color: #0F1340;
}
#menu a:hover,
#menu a:focus {
color: #DBDFE8;
background: #0F1340;
opacity: .4;
}

.menuhigh {
  color: #DBDFE8;
  background: #0F1340;
  opacity: .4;
}

.menuhigh a {
  color: #0F1340;
  background: #DBDFE8;
  opacity: .4;
}