html {
	font-family: Verdana, 'Bitstream Vera Sans', 'Lucida Grande', sans-serif;
	font-size: 16px;
}

.monospace {
	font-family: monospace;
	background-color: #f3f9ff;
}

a {
	color: #048;
	text-decoration: none;
}

a:hover {
	text-decoration: underline;
}

img {
	border: 0px;
}

p#logo {
	margin-top: 0px;
}

p#menu {
	border-top: black 1px solid;
	border-bottom: black 1px solid;
	margin-left: -20px;
	margin-right: -20px;
	padding: 2px 32px 2px 32px;
	font-weight: bold;
	font-size: 18px;
}

p#menu #selected {
	text-decoration: underline;
	color: #048;
}

p#lastmodified {
	color: #666;
	font-size: 12px;
	text-align: right;
}

pre {
	border-radius: 8px;
	-khtml-border-radius: 8px;
	-moz-border-radius: 8px;
	-webkit-border-radius: 8px;
	border: black 1px solid;
	background-color: #f3f9ff;
	font-family: Monospace, 'Courier New', fixed;
	margin: 10px;
	padding: 10px;
}

h1,h2,h3,h4 {
	font-style: italic;
}

@media screen {
	html {
		color: black;
		background: #012;
		margin: 0;
		padding: 0;
	}

	body {
		color: black;
		background-color: white;
		padding: 20px;
		margin: 24px auto 24px auto;
		width: 920px;
		border-radius: 16px;
		-khtml-border-radius: 16px;
		-moz-border-radius: 16px;
		-webkit-border-radius: 16px;
	}

	pre {
		overflow: auto;
	}
}