div.result {border-style: double; border-color: silver; padding: 3px;}
span.glossaryTitle {color: #333399;font-weight: bold;font-size: 125%}
span.glossaryHit {color: #333399;font-weight: bold;background-color: #FFFF00;}
span.titleBox {
	color: #003366; 
	background-color: #C5C8E4; 
	font-size: 125%; 
	font-weight: bold; 
	padding: 5px;
	margin: 10px 0px;
}