/*@charset "utf-8";*/
@charset "iso-8859-1";
#output h1 {
	font-size: 1.2em;
	line-height: 1.6em;
	margin: 1em 0;
	color: #111;
}

#output h3 {
	font-size: .9em;
	line-height: 1.6em;
	margin: 1.4em 0 0 0;
	color: #111;
}

/*
#output p, li {
	font-size: .8em;
	line-height: 1.2em;
	/*color: #111;*/
	color: green;
}


#output li {margin: .8em 2.5em;}
*/


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

/* Hyperlink zur gesuchten Seite*/
#output a {font-weight: bold;}

.searchword  {color: #222; background-color: #ffd; border: 1px dotted #ffd;}
.searchword0 {color: #222; background-color: #ff0; border: 1px dotted #ff0;}
.searchword1 {color: #222; background-color: #0f0; border: 1px dotted #0f0;}
.searchword2 {color: #222; background-color: #0ff; border: 1px dotted #0ff;}
.searchword3 {color: #222; background-color: #fbb; border: 1px dotted #fbb;}
.searchword4 {color: #222; background-color: #dfd; border: 1px dotted #dfd;}
.searchword5 {color: #222; background-color: #faf; border: 1px dotted #faf;}
.searchword6 {color: #222; background-color: #ccc; border: 1px dotted #ccc;}

/*zuletzt geändert am... */
.mod {display: block; font-size: 10px;}

/*Anzahl durchsuchter Dateien ..... */
#searchfooter p {
font-size: 10px;
margin-top: 2px;
}