
body {
	background-color: #ffffff;
}

pre {
	padding: 0.5em;
	margin-left: 2em;
	margin-right: 2em;
	background-color: #e0e0e0;
}

