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


div#main-menu {

}

div.menu h1 {
 text-align: left;
 font-size: medium;
 margin: 0;
 margin-top: 0.2em;
 margin-bottom: 0.2em;
}

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

div.menu a {
 display: block;
 text-decoration: none;
 font-weight: bold;
}

div.menu {

}