#info
{
	color: gray;
	font-style: italic;
} 

#help
{
	background-color: lightgreen;
} 


#menu
{
	color: gray; text-align:left; font-size: 80%
} 

#menu a
{
	color: gray;
} 

#search
{
	float: right; 
} 


del 
{
	color: red;
}
ins 
{
	color: green; text-decoration: none;
}
a.invalid
{
	color: red;
}
span.error 
{
	color: red;
}
span.found 
{
	color: green;
}

h1 { /* position:absolute; left:200px; */}

#subsitemenu { border: 1px black dotted;  float: right; width: 160px; padding: 8px; margin: 8px; font-size: 100%;}

pre { padding: 20px ; border: 1px black dotted; width: 90%;  background-color: #DDDDDD; }