body {
	color: #434343;
	margin: 1em 3em 2em;
	font-family: Verdana, sans-serif;
}

.accesskey {
	text-decoration: underline;
}
#debug {
	height: 200px;
	overflow: auto;
	font-family: 'DejaVu Sans Mono', Consolas, Courier, monospace;
	font-size: 12px;
	border: thin inset;
	padding: 0.25em;
}