@page {
size: auto;
margin: 1cm;
/* die meisten Drucker kommen nicht
bis an den Rand; kann auch vom Browser
ueberschrieben werden */
font-family: Arial, Helvetica, sans-serif;
}

body {
	background-color: white;
	font-family: Arial, Helvetica, sans-serif;
	font-size: 0.84em;
	margin: 0;
/* um zu grossen Tinten/Toner-
verbrauch zu vermeiden */
}

a {color: #000000; }
#sectionLinks ul {
display: block;
list-style-type: block;	
list-style: none;
margin-left: -1cm;
}

#sectionLinks a {
display: block;
padding: 2px 0px 2px -1cm;
text-decoration: none;
}

.nav {
border-right: 1px none #FFFFFF; 
background-color: #CCCCCC;
}

.ohnedruck {
display:none; }