body, html {
	margin: 0;
	padding: 0;
	color: #1f1f1f;
	background-color: #ffffff;
}
body {
	font-size: 80%;
	font-family: sans-serif;
}
h1, h2 {
	margin: 0;
	padding: .25em .25em;
	color: #dfdfff;
	background-color: #1f1f1f;
}
p {
	margin: .25em .0;
	padding: .25em .25em;
}
dl {
	
	border-left: 1px dashed #afafff;
	border-bottom: none;

	/* IE messes them up */
	-border-left: none;
	-border-bottom: none;
	
	/*
	border-top: 1px dashed #1f4f1f;
	border-right: none;
	*/
	margin: 2px;
	padding: 2px;
}
dt {
	color: #1f1f4f;
	font-weight: bold;
}
dd {
	margin: 2px;
	padding: 2px 2px 2px 1.25em;
}
p {
	padding-left: .25em;
	padding-right: .25em;
}
a {
	text-decoration: none;
	font-size: 80%;
}
.left {
	float: left;
}
.right {
	float: right;
}
.clearleft {
	clear: left;
}
.clearright {
	clear: right;
}
.clear {
	clear: both;
}
a {
	color: #1f1f4f;
}
.navbar {
	margin: 0;
	padding: .25em;
	white-space: nowrap;
	color: #dfdfdf;
	background-color: #1f1f1f;
}
.navbar a {
	border: 1px outset #1f1f1f;
	margin: 1px 0 0 0;
	padding: 2px .25em;
	color: #dfdfdf;
	background-color: #1f1f1f;
}
.navbar a:hover {
	color: #1f1f1f;
	border: 1px outset #dfdfdf;
	background-color: #dfdfdf;
}
.navbar code, h1 code {
	color: #dfffdf;
}
.navbar a:hover code {
	color: #1f4f1f;
}
.hidden {
	display: none;
}
code, code a {
	color: #1f4f1f;
}
dt code {
	font-size: 170%;
}
li code a, .navbar code {
	font-size: 140%;
}
pre, pre a {
	color: #1f4f1f;
}
pre {
	font-size: 125%;
}
pre * {
	font-size: 100%;
}
code .delim, pre .delim {
	color: #1f1f4f;
}
.list {
	margin: 0 .25em;
	line-height: 140%;
	border-style: solid;
	border-width: 0;
	border-color: #1f4f1f;
}
.item {
	background-color: #efefef;
	border-width: 0 1px 1px 0;
	border-style: solid;
	border-color: #afafaf;
	padding: 0 .25em;
	margin: 0;
}