/* Styles for menus, e.g. the main contents page */


div#main-menu {
 height: 100%;
 border-top: none;
 border-left: none;
 border-bottom: none;

}

div.menu h1 {
 background-color: #00008b;
 font-size: x-small;
 padding: 1px;
 border: 1px solid black;
 margin-top: 0.6em;
 margin-bottom: 0.4em;
 text-align: left;
 width: 100%;
 color: white;
}

div.menu a, div.menu h1 {
  padding-left: 10px;
}

div.menu a:hover {
 border: 1px solid white;
}

div.menu a, div.menu a:link, div.menu a:visited {
 color: white;
}

div.menu a {
 display: block;
 text-decoration: none;
 font-size: 80%;
 padding-top: 0.2em;
 padding-bottom: 0.2em;
 border: 1px solid #4169e1;
}

div.menu div.menu a {
 padding-left: 2em;
}

div.menu div.menu {
 border: none;
 padding: 0;
}

div.menu {
 background-color: #4169e1;
 color: white;
 font-weight: bold;
 padding: 5px;
 border: 2px solid black;
}