body {
	font-family: helvetica, arial, sans-serif;
	font-size: 130%;
	color: #000000;
	background: #ffffff;
}

h1, h2, h3, h4, h5, h6 {
	background-color: #d4ddea;
	padding-top: .2ex;
	padding-bottom: .2ex;
	margin-bottom: .3em;
	margin-top: .3em;
	padding: 3px;
}

pre {
	background-color: #f4f9ff;
	padding: 5px;
	font-family: monospace;
	font-size: 90%;
}

a {
	text-decoration: none;
}

.title {
	font-family: monospace;
	font-size: 325%;
	background-color: #ffffff;
}