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

.monospace {
	font-family: monospace;
}

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

a:hover {
	text-decoration: underline;
}

img {
	border: 0px;
}

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

p#menu {
	border-top: #05a 1px dotted;
	border-bottom: #05a 1px dotted;
	color: #05a;
	margin-left: -20px;
	margin-right: -20px;
	padding: 2px 32px 2px 32px;
	font-size: 12px;
	font-weight: bold;
}

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

h1 {
	font-size: 26px;
}

h2 {
	font-size: 22px;
}

h3 {
	font-size: 18px;
}

pre {
	border: #05a 1px dotted; 
	font-family: Monospace, 'Courier New', fixed;
	margin: 10px;
	padding: 10px;
}

@media screen {
	html {
		color: black;
		background: white url(/background.png) repeat;
		margin: 0;
		padding: 0;
	}

	body {
		color: black;
		background-color: white;
		padding: 20px;
		margin: 24px auto 24px auto;
		width: 740px;
		border-radius: 16px;
		-khtml-border-radius: 16px;
		-moz-border-radius: 16px;
		-webkit-border-radius: 16px;
		border: #05a 1px solid;
	}

	pre {
		overflow: auto;
	}
}