li {
	margin: 1em;
}
body {
	background-color: #FFF2DF;
}
a:visited {
	color:  #800000;
}
a:link {
	color:  #D20000;
}
.editor {
	font-size: 60%;
}
code {
	white-space: pre;
	font: monospace,courier;
}