/* ========================================================
   Grundeinstellungen
   ======================================================== */
body { 
        background-image: 	none;
	font-size:		200%;
}

div#toc {
	display:		none;
}
div#body {
	padding-top:	2ex;
	margin-left:	5%;
	margin-right:	5%;
}
pre {
	font-weight:	bold;
}