body {
	margin: 0px;
	padding: 10px;
	font-family: "DejaVu Sans", "Bitstream Vera Sans", "Verdana", "Tahoma", sans-serif;
	font-size: medium;
	text-align: left;
	background-color: white;
	color: black;
}

h1, h2, h3, h4, h5, h6 {
	color: #00a650;
}

img {
	border: none;
}

#foot {
	font-size: small;
	text-align: right;
}

dt {
	font-weight: bold;
}

.image {
	margin-bottom: 2em;
}

.image .caption {
	font-size: 80%;
}