/* $Source: /home/johnny/html/Menu/RCS/menu.css,v $ */
div.sitemenu {
	background: red; color: white;
	font-family: arial,helvetica,verdana,sans-serif;
	position: fixed;
	white-space: nowrap;
	width: auto;
	top: 0; right: 0;
	padding: 0.2em 0.5em 0.25em 0.5em;
	text-align: right;
	font-weight: bold;
	font-size: 90%;
	border: solid 1px;
	}
.sitemenu a:link, .sitemenu a:visited {
	background-color: red; 
	color: yellow;
	text-decoration: none;
	}
.sitemenu a:hover, .sitemenu a:focus, .sitemenu a:active {
	background-color: red; 
	color: #ADFF2F;
	text-decoration: underline;
	}
@media print {
div.sitemenu {display: none;}
}
/* $Id: menu.css,v 1.18 2006/03/01 10:54:43 johnny Exp $ */