body {color: #000000; background: #ffffff; padding-left: 1%;}
a:link {color: #191970}
a:visited {color: #551aa0}
a:active {color: #fe0000}
a:hover {background-color: #aaaaaa;}
h1 {font-family: "arial", "luxi sans", "trebuchet ms", "bitstream vera sans", "helvetica", sans-serif;}

/* #name is for id="name" and .name is for class="name" but both cannot be used at the same time */
#nnavmnn li {float: left; list-style-type: disc;}
#nnavmnn li:first-child {margin-left: 0; padding-left: 0; list-style: none;}

.navmn {width: 800px; background: #dddddd; padding-left: 1em; border: thin black solid;}
#ttt { text-decoration: underline overline; border-width: 3; border-color: #aaaaaa;}

.sepmn {font-size: 150%; color: #aaaaaa}