.highlight {
	background-color: #FFEA97;
}
		.searchheading { font-size: 115%; font-weight: bold; }
		.summary { font-size: 95%; font-style: normal; } 
		.results {
	font-size: 100%;
	text-align: left;
	font-family: Verdana, Arial, Helvetica, sans-serif;
}
		.category { color: #999999; }
		.description { font-size: 100%; color: #008000; }
		.context { font-size: 100%; }
		.infoline {
	font-size: 85%;
	font-style: italic;
	color: #666666;
	text-align: left;
}
		.sorting { text-align: right; }
		.result_title { font-size: 100%; }

		.zoom_searchform { font-size: 100%; }
		.zoom_options { font-size: 80%; }
		input.zoom_button {  }
		input.zoom_searchbox {  }