/* highlighting and border effects */
#navigation {
	font: bold 12px Verdana, sans-serif;
	background-color: #000080; width: 13em;

	margin-left: 13px;
	margin-top: 4px; 
    width: 130px;	   
	padding: 4px 4px 4px 4px;
	border: 2px solid #AAB;	
}

#navigation li {

    color: white;
    width: 120px;
	list-style: none; margin: 0; border-top: 1px solid gray;
	text-align: left;
}

#navigation li a {
	display: block;
	height: 40px;
	padding: 0.25em 0.5em 0.25em 0.75em;
	border-left: 1em solid #FF0000;

	text-decoration: none;
	background-color: #0000C0;
}

#navigation li a.current {

    color: white;
	background: #FF0000;
	border-color: #FF0000;

}
  
#navigation li a:link {color: white;}
#navigation li a:visited {color: gray; }
#navigation li a:hover {border-color: blue; color: #000000; background: #FF0000;}

#logo  {
	float: left;
	margin-left: 13px;	
}