div a:link { color: #000000; font-weight: bold; text-decoration: none;}
div a:visited { color: #000000; font-weight: bold; text-decoration: none;}
div a:hover { color: #9F843A; font-weight: bold; text-decoration: underline;}
div a:active { color: #000000; font-weight: bold; text-decoration: none;}

.highlight { background: #F5EDD0; }
.searchheading { font-family: Arial; margin: 12px 12px 0px 12px; font-size: 10pt; font-weight: bold; }
.summary { font-family: Arial; margin: 0px 12px 6px 12px; font-size: 8pt; font-style: italic; }
.results { font-family: Arial; margin: 0px 12px 6px 12px; font-size: 10pt; }
.category { font-family: Arial; font-size: 10pt; color: #999999; }
.description { font-size: 10pt; color: #008000; }
.context { font-family: Arial; margin: 6px 12px 6px 12px; font-size: 10pt; width: 416px; }
.infoline { font-family: Arial; margin: 0px 12px 12px 12px; font-size: 8pt; font-style: normal; color: #808080; width: 416px; }
.sorting { text-align: right; }
.result_title { font-family: Arial; font-size: 10pt; width: 416px; }
.zoom_searchform { font-family: Arial; margin: 12px 12px 12px 12px; font-size: 10pt; }
.zoom_options { font-size: 8pt; }

input.zoom_button { }
input.zoom_searchbox { }