body{
	font-family: Verdana,Arial,Helvetica;
	font-size: x-small;
	background:#000099;
}
td{
	font-family: Verdana,Arial,Helvetica;
	font-size: x-small;
	width=15%;
}
.curr{
	font-weight=bold;
	color:#000099;
	BACKGROUND=#FFFFFF;
}
.links{
	background=Silver;
	color:white;
}
.bodyspace{
	background:#FFFFFF;
	color:#000099;
}
.dummy{
	background:#000099;
	width=5%;
}
.dummyspace{
	background:#FFFFFF;
	width=5%;
}
a{
	color:#000099;
}
.menu{
	font-weight:bold;
	color:#000099;
}
.current{
	font-weight:bold;
	color:#000099;
}
a:hover{
	text-decoration: none;
	color:#CC3333;
}
pre{
	font-size:x-small;
}
b.command{color:#00FF66 ;background:black;}