body { background-image:url(../img/bg.gif);
       background-repeat:repeat-y;
       margin-left:3pt; }

.menu {
	color:#88AACC;
	font-size:8pt;
	font-family:monospace;
	font-weight:bold;
	text-decoration:none;
}
.currentMenu {
	color:#88CCAA;
	font-size:8pt;
	font-family:monospace;
	font-weight:bold;
	text-decoration:none;
}
.hiddenMenu {
	color:black;
	font-size:8pt;
	font-family:monospace;
	font-weight:bold;
	text-decoration:none;
}
a.menu:hover {
	color:#CC88AA;
}
a.menu:active {
	color:#CC88AA;
}
a.hiddenMenu:hover{
	color:#CC88AA;
}