body{
	line-height: 1.5;
}

h1{
	text-align: center;
}

ul, ol{
	margin: 1em;
	padding: 0 0 0 20px;
}

ul.navigation li{
	display: inline;
	margin: 0;
	padding: 0;
}

ol.navigation{
	margin: 2em 3em;
}

.digest{
	background-color: #efefef;
	margin: 1em;
	padding: 1em;
}

.digest h2{
	font-size: 120%;
	font-weight: normal;
	color: red;
}

.digest dt{
	color: green;
	font-weight: bold;
}

.digest dd{
	margin-bottom: 1em;
}