pre#code {
	text-align: left;
}

a.sourcelink {
	font-family: monospace;
}

table.beispiele {
}

tr.beispiel {
	padding: 10px 0px 10px;
}

td.beispiel {
	vertical-align: top;
	padding-right: 10px;
}

a.srcfile {
	color: #cc6600;
}