body {
	background-color: #ccc;
	margin: 0;
	padding: 1em 0;
	font-family: sans-serif;
	font-size: 0.9em;
	text-align: center;
	color: #333;
	font-family: "DejaVu Sans", "DejaVu", Arial, sans-serif;
}
#container {
	border: 3px outset #aaa;
	background-color: #fafafa;
	padding: 1em 1.5em 0em 1.5em;
	width: 51%;
	margin: 0 auto;
}
h1 {
	font-size: 200%;
	margin: 0;
	padding: 0;
}
#slogan {
	font-style: italic;
	font-size: 90%;
	text-align: center;
	margin: 0.5em 0 1.5em 0;
}
#berthold_pic {
	float: right;
	margin: -2em 0 0 0.5em;
}
p {
	margin: 1em 0 0.5em 0;
	padding: 0;
	text-align: left;
}
hr {
	
}
dl, ul {
	text-align: left;
	margin: 0;
	padding: 0 0 0 1.5em;
	color: #444;
}
dl dt {
	font-weight: bold;
}
dl dt a, ul li a {
	text-decoration: none;
	color: #555;
}
dl dd {
	margin: 0 0 0.5em 1.5em;
}
dl dd .explain {
	font-size: 95%;
}
ul li {
	list-style-position: inside;
}
kbd {
	font-family: "DejaVu Sans Mono", "Monaco", monospace;
	font-size: 95%;
}
#footer {
	margin: 2em 0 0 0;
	clear: both;
	font-size: 90%;
	color: #666;
}
#footer p {
	margin: 0.5em;
	text-align: center;
}
#footer a {
	text-decoration: none;
	color: #666;
}
#footer a:hover {
	text-decoration: underline;
}