.update_date {
	margin-top: 1em;
	font-style: italic;
	border-top: thick solid #bbb;
}

body {
	background-color: #eff;
}

h1 {
	color: #800;
	margin-top: 0em;
}

h2 {
	margin-bottom: 0.1em;
}

h3 {
	margin-bottom: 0.1em;
}

h4 {
	margin-bottom: 0.1em;
}

h5 {
	margin-bottom: 0.1em;
	margin-top: 0.7em;
}

p {
	margin-bottom: 0.6em;
	margin-top: 0;
}

ul {
	margin: 0;
}