span.small {
	font-size: smaller;
}
code {
	background-color: #e0ffff;
	padding: 0.4em;
	/* pre */
	display: block;
	font-family: monospace;
	white-space: pre;
	margin: 1em 0;
}