body {
	background: white;
    color: #000000;
}

#main {
	width: auto;
	margin: 5%;
}

.small {
	font-size: small;
}

.pre {
	white-space: pre;
	font-family: Courier New, Courier, mono;
}

.error {
	color: #870500;
	font-weight: bold;
	border: 1px solid #870500;
	padding: 5px;
}

.bold {
	font-weight: bold;
}