/* @override http://kamps.org/hidden/glh/style.css */

body {
	margin: 30px;
	font-family: "Lucida Grande", Lucida, Verdana, sans-serif;
	font-size: 0.8em;
}

tt {
	font-size: 1.2em;
	font-style: italic;
	color: #bf5442;
}

h2, h1 {
	color: #bf5442;

}

div.encoded {
	border: 1px solid #bf5442;
	padding: 5px;
}