body  { background-color: #cccccc; margin-top: 0; }

.nohilite {
 background-color: #cccccc;
}
	
.hilite {
 background-color: #a7e9b8;
 cursor: hand;
}

.nohilitebold {
 font-size: 4mm;
 color: white;
 background-color: darkblue;
 font-weight: bold;
}
	
.hilitebold {
 font-size: 4mm;
 background-color: #a7e9b8;
 font-weight: bold;
 cursor: hand;
}

.nohilitelite {
 background-color: #dddddd;
}
	
.desc {
 color: white;
 background-color: darkblue;
}

.desclite {
 font-size: 3.5mm;
 color: black;
 background-color: #cccccc;
}
	
a.nobold:hover   { font-weight: normal; }

P { color: green; }
P.log { color: black; font-size: 3.5mm; }

a {
 text-decoration:none;
 font-family: arial;
 font-size: 3.5mm;
 color: darkblue;
}