/* The hr is put in a menu simply to help people who don't have css enabled. */
#menu hr { display: none; }
#menu { position: absolute; left: 0px; top: 10px; width: 10em; overflow: auto;}

#menu li { /* Set up the button-ish look */
	   border-bottom-style: dotted; border-bottom-width: thin; 
           border-left-style: dotted; border-left-width: thin; 	
	   list-style-type: none;
	   padding-bottom: 5px; padding-top: 5px;
	   padding-left: 3px;
	}
#menu li:first-child { border-top-style: dotted; border-top-width: thin; 
	               background
	}

#main { margin-left: 10em; padding-left: 10px; border-left: thin black solid; }
#menu li { background-color: white; color: black; opacity: 0.8;}
#menu li.current { background-color: #C5C5D5; border-width: thin; border-color: black; border-style: solid none ; color: black; opacity: 0.8;}
#menu li.current a { text-decoration: none; }