body {
	background: #ffffff; color: black;
	margin: 3em;
        margin-top: 1em;
}

pre {
	color: #008000;
}

li {
	margin-top: 1ex;
	margin-bottom: 1ex;
}

ul.thinlist li {
	margin-top: 0;
	margin-bottom: 0;
	list-style-type: none;
}