body {
	margin-top: 1em;
	margin-bottom: 1em;
	margin-left: 2em;
	margin-right: 4em;
	}

pre.example {
	width: 65em;
	height: auto;
	background: #fffac8;
	}

pre.result {
	width: 65em;
	height: auto;
	background: #caf3c3;
	}

pre.file {
	width: 65em;
	height: auto;
	background: #c3f2f3;
	}

address {
	margin-top: 2em;
	padding-top: 0.5em;
	border-top: thin dotted;
	}