#systemvoraussetzungen {
	display: block;
	margin: 0 0 10px 15px;
	float: right;
	width: 200px;
	padding: 15px;
	border: 1px solid black;
}

#systemvoraussetzungen h2 {
	text-transform: none;
	font-weight: normal;
	font-size: 100%;
}

#benutzerliste dt {
	font-weight: bold;
}

.code {
	font-family: monospace;
	white-space: pre;
	font-size: 100%;
}