a:active     { font-family: Arial; font-size: 10pt; color: #000080; font-weight:bold }
a:hover      { font-family: Arial; font-size: 10pt; color: #000000; text-decoration: 
               none; letter-spacing:0; vertical-align:baseline; background-color:#F0F0FF; border-left-width:1px; border-right-width:1px }
a:link       { font-family: Arial; color: #000080; font-weight:bold; text-decoration:none }
a:visited    { font-family: Arial; font-weight: bold; text-decoration:none; font-size:10pt }


/* 
Wenn das Suchergebnis in einer eigenen Seite ausgegeben wird,
sollten die folgenden Style Angaben übernommen werden,
um die Ergebnisseite entsprechend dieser Musterdatei zu gestalten.
*/
 
em {
	font-weight: bold;
	font-style: normal;
}

#output a {font-weight: bold;}
.searchword {
	color: #222222;
	background-color: #C0C0C0;

}
.searchcontext {display: block; margin-left: 2em;}
.mod {display: block; margin-left: 2.5em; font-size: .8em;}
#searchfooter {font-size: 80%;}
#searchfooter p {color: #888;}
#searchfooter a {
	text-decoration: none;
	color: #888;
}