PRE {
    font-family: monospace;
    font-size: 90%;
    white-space: pre;
    padding: 0.2em;
    color: black;
    background: rgb(240,240,240);
}
body {
	font-family: tahoma, taipei, verdana, arial, helvetica, bitstream vera sans; 
	font-size: 12px;
}
h2 {
	font-family: tahoma, taipei, verdana, arial, helvetica, bitstream vera sans; 	
	font-size: 14px;
}
.menu {

	font-family: tahoma, taipei, verdana, arial, helvetica, bitstream vera sans; 
	font-size: 14px;
	font-weight: bold;
	line-height: 20px;
	color: #7777ff;

}
.menu a {

	font-family: tahoma, taipei, verdana, arial, helvetica, bitstream vera sans; 
	font-size: 14px;
	color: #9999ff;
	text-decoration: none;
	padding-left: 0px;
	padding-right: 0px;

}

.menu a:hover {

	color: #ccccff;
        background-color: #6666ff;
}