body {
	background-color: #FFFFFF;
}
#info_panel {
	margin: 0.3em;
	padding: .5em .5em;
	font-size: 1.1em;
	color: #20A020;
}
#wrapper {
	margin-bottom: 3em;
}
pre {
	margin: 1em;
	padding: .5em 1em;
	border-radius: .5em;
	background-color: #f0f0f0;
	font-size: 1em;
}