<!--
body,td,th {font-family: Verdana, Helvetica, Sans-serif; font-size: 12px;}
a.menu {
	display: block;
	width: 100%;
	text-decoration: none;
}

a.menu:link, a.menu:active, a.menu:visited {
	color: #808080;
}

a.menu:hover {
	border: 0px solid #000000;
	background: #333333;
	color: #ffffff;
}

a.menu-selected {
	display: block;
	width: 100%;
	text-decoration: none;
	font-weight: bold;
}

a.menu-selected:link, a.menu-selected:active, a.menu-selected:visited {
	color: #808080;
	font-weight: bold;
}

a.menu-selected:hover {
	border: 0px solid #000000;
	background: #333333;
	color: #ffffff;
	font-weight: bold;
}

pre.codebox {
	font-family:		Courier, 'Courier New', sans-serif; font-size: 11px;
	background-color:	#FAFAFA; border: #EAEAEA; border-style: solid;
	border-left-width:	1px; border-top-width: 1px; border-right-width: 1px; border-bottom-width: 1px;
}
-->