body {
	font-family: monospace;
	font-size: 120%;
	margin: 15px;
}

div.code {
	padding: 15px;
	border: 1px solid black;
	background-color: #eeeeee;
}

.spacey {
	width: 80%;
}

.spacey li {
	padding-bottom: 15px;
}

.not_spacey li {
	padding-bottom: 0px;
}

.big {
	font-size: 16pt;
}