/* CSS Document */
.highlight { background: #FFFF40; }
.searchheading { font-size: 130%; font-weight: bold; }
.summary { font-size: 80%; font-style: italic; } 
.results { font-size: 100%; }
.category { color: #999999; }
.description { font-size: 100%; }
.context { font-size: 100%; }
.infoline { font-size: 80%; 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 {  }