.highlight { background: #FFFF40; }
.searchheading { font-size: 130%; /*font-weight: bold; */}
.summary { font-size: 100%; font-style: italic; } 
.results { font-size: 110%; text-align:justify;}
.category { color: #999999; }
.description { font-size: 110%; color: #008000;}
.context { font-size: 100%; }
.infoline { font-size: 100%; font-style: normal; color: #808080; }
.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 {  }