.feedbackpos {
	FONT-WEIGHT: bold; 
	FONT-SIZE: small; 
	COLOR: #008800;
}
.feedbackneg {
	FONT-WEIGHT: bold; 
	FONT-SIZE: small; 
	COLOR: #CC0000;
}
code, pre {
	 font-size: 10pt;
}

#header #tools li a:focus, a:hover { color: #333; text-decoration: underline; }
#header #tools li { color: #f96302; text-decoration: none; }

#columns td a:focus, a:hover { color: #666; text-decoration: underline; }
#columns td a { color: #f96302; text-decoration: none; }