body {
	font-family: Arial, Helvetica, sans-serif;
}

.contents {
	margin-top: 0;
	margin-left: 0.5em;
	padding-left: 0.5em;
	font-size: smaller;
}

pre {
	border: solid 2px #cccccc;
	padding: 8px;
	margin-left: 3em;
}

.bnf {
	background-color: #fefefe;
	color: #000066;
}

.dcode {
	background-color: #e7e7e7;
	color: #000066;
}

.ccode {
	background-color: #eeddee;
	color: #000066;
}