/*
 * $Id: menu.css,v 1.2 2003/07/17 17:55:14 tim Exp $
 */
div.emptymenu {
	position:absolute;
	top:0;
	left:0;
	visibility:hidden;
}

div.menu {
	position:absolute;
	top:0;
	left:0;
	visibility:hidden;
	width:100px;
	background:#69C;
	layer-background-color:#69C;
	font-weight:bold;
	font-family: Arial, Verdana, Helvetica, sans-serif;
	font-size:10px;
}

div.menu a {
	display:block;
	margin:0;
	width:100%;
	padding:0.2em;
	font-weight:bold;
	border-bottom:1px solid #FFF;
	color:#FFF;
	text-decoration:none;
}
html>body div.menu a {width:auto;}
div.menu a:visited {background:#69C;color:#FFF;}
div.menu a:hover {background:#F93;color:#FFF;}
div.menu a:focus {background:#F93;color:#FFF;}
div.menu a:active {background:F93;color:#CCC;}