body {
	font-family: monospace;
	font-size: 1.2em;
}
a, a:hover, a:visited {
	color: #00f;
	text-decoration: none;
}
a:hover {
	background-color: #d1e7ff;
}
ul {
	padding-left: 1.5em;
}