body {
/*	background: #c0bfbc;*/
	background: #dcd1ba;
	font-family: "DejaVu Sans Mono", monospace;
}

.main {
	text-align: center;
}

/*pre {
	font-family: "DejaVu Sans Mono", monospace;
}*/