body {
	background-color: #fff;
	color: #000;
	font-family: "trebuchet ms",arial,sans-serif;
	margin: 0;
	padding: 1em 3em 1em 2em;
}

h1 {
	margin: 0.8em 0;
}

h1, h2, h3 {
	color: #404040;
	font-weight: bold;
}

h1 {
	font-size: 1.5em;
}

h2 {
	border-top: 3px solid #eee;
	counter-increment: ebene01;
	counter-reset: ebene02;
	font-size: 1.3em;
	padding-top: 1em;
}

h3 {
	counter-increment: ebene02;
	font-size: 1.1em;
}

h2:before {
	content: counter(ebene01) ". ";
}

p, dl, ol, ul {
	line-height: 1.8;
}

p, dl {
	margin-left: 2em;
	max-width: 50em;
}

ul, ol {
	margin-left: 0;
	max-width: 53em;
	padding-left: 4em;
}

dt {
	font-weight: bold;
	margin-top: 0.5em;
}

li {
	margin-top: 0.5em;
}

pre, code {
	font-family: "trebuchet ms",arial,sans-serif;
	font-size: 1em;
	max-width: 54.2em;
}

pre {
	background-color: #ebf5ff;
	border: 1px solid #bedcff;
	color: #000;
	margin: 0 2em;
	padding: 0.4em;
}

a:link {
	color: #0000c0;
	text-decoration: underline;
}

a:visited {
	color: #000040;
	text-decoration: underline;
}

a:hover, a:active {
	background-color: #f5f5f5;
	color: #0000c0;
	text-decoration: underline;
}

code {
	background-color: #ebf5ff;
	color: #000;
	font-style: normal;
	padding: 0.1em 0.3em;
}

abbr, acronym {
	border-bottom: 1px dotted #777;
	cursor: help;
	font-style: normal;
}

address {
	font-style: normal;
}

q {
	color: #5a2020;
	font-style: normal;
	quotes: "\00bb" "\00ab" "\203a" "\2039";
}

q:before {
	content: open-quote;
}

q:after {
	content: close-quote;
}

img {
	border-style: none;
}

.beispiel {
	background-color: #fffff5;
	border: 1px solid #f5f5d0;
	color: #000;
	max-width: 56.6em;
	padding: 0.8em 0.2em;
}

.beispiel h3 {
	margin: 0 0 0 1.85em;
}

.beispiel p {
	margin-bottom: 0;
	margin-top: 0.8em;
	max-width: none;
}

#bct {
	background-color: #f0f0f0;
	border: thin solid #e0e0e0;
	color: #008;
	font-size: 0.9em;
	margin: 0;
	max-width: none;
	padding: 0.2em 0.4em;
}

#toc {
	float: right;
	background-color: #dcebe6;
	color: #000;
	border: 2px solid #506450;
	margin: 1em 0 0.5em 1em;
	padding: 0.5em;
	width: 15.5em;
}

#toc h2 {
	border-color: #506450;
	border-style: solid;
	border-width: 0 0 2px 0;
	color: #507864;
	margin: 0;
	padding: 0 0 0.1em 0;
	text-align: center;
}

#toc h2:before {
	content: "";
}

#toc ul {
	color: #911;
	list-style-type: disc;
	margin: 0.5em 0 0 1em;
	padding: 0;
}

#toc li {
	margin: 0;
}

#toc ul ul {
	margin-bottom: 0;
	margin-top: 0;
}

#toc a:link {
	color: #008;
	text-decoration: underline;
}

#toc a:visited {
	color: #004;
	text-decoration: underline;
}

#toc a:hover {
	background-color: transparent;
	color: #145014;
	text-decoration: underline;
}

#toc a:active {
	background-color: transparent;
	color: #000;
	text-decoration: underline;
}

#einleitung {
	border-style: none;
	margin: 0;
	padding: 0;
}

#problemstellung {
	clear: both;
}