body {
	font-family: "Courier New", Courier, monospace;
	font-size: 14px;
	padding-bottom: 50px;
}

h1 { font-size: 20px; }
h3 { font-size: 16px; }

div.article {
	margin-bottom: 10px; 
	position: relative;
}

div.article h3 {
	margin: 0;
}

div.article p {
	padding: 0 10px;
}

div.article p.hint {
	background-color: #ffe;
	padding: 10px;
}

hr {
	border: none;
	height: 0px;
	border-top: 1px solid #999;
	margin-bottom: 20px;
}