h1 {
	line-height: 160%;
	border-top: 2px solid #aaaaaa;
}

pre {
	border: dashed 1px;
	background-color: #eeeeee;
	margin: 10px;
	padding: 10px;
}