body {
	background: #BFFFDF;
	text-align: justify;
	margin-left: 1em;
	margin-right: 1em;
}
h1.date {
	font-size: 120%;
	font-weight: bold;
}
hr.topic {
	width: 75%
}
pre {
	color: #FFFF7F;
	background: #000080;
	margin-left: 1em;
	margin-right: 1em;
	padding: 0.5em;
}
table, td {
	border: 1px solid
}