body {
	background: #FFF;
	color: #000;

	font-family: Georgia, Serif;

	padding: 0;
	margin: 0;
}

a {
	color: #4444EB;
}

a:visited {
	color: #962C8C;
}

a:hover {
	color: #8A8AFF;
	text-decoration: none;
}

a:visited:hover {
	color: #C464BA;
}

code {
	margin: 0 .10em;
	font-size: 11pt;
	font-family: DejaVu Sans Mono, Menlo, Andale Mono, Consolas, monospace;
}

pre code {
	margin: 0;
	font-size: 10pt;
}

.clear {
	clear: both;
}

hr, .dummy {
	height: 0;
	border-color: transparent;
}

#thing {
	position: absolute;
	left: 0;
	top: 0;

	width: 100%;
	height: 8px;

	background: #18181C;
}

#nav {
	position: absolute;
	left: 225px;
	top: 8px;

	font-family: Verdana;
	font-size: 10pt;

	padding: 0;
	margin: 1px 0 0 0;
}

#nav a {
	text-decoration: none;

	margin-right: 5px;
	color: #70634C;
}

#nav a.current {
	color: #18181C;

	padding: 0 1px;
	margin-right: 4px;
	margin-left: -1px;
	border-top: 2px #FFF solid;

	padding-top: 1px;
}

#nav a:hover {
	color: #18181C;
}

#content {
	padding-top: 8px;
	margin-top: 1em;
	margin-left: 225px;
}

#content p, #content pre, #content blockquote, #content li {
	border-left: 1px transparent dotted;
	padding: 0 0 1px 18px;
	margin: 0 0 0 -18px;
}

#content ul {
	list-style-type: none;
	margin: 0;
	padding: 0;
}

#content p, #content li {
	width: 600px;
	border-left-color: #7272AB;
	line-height: 1.4em;
}

#content div, #content p,
#content pre, #content hr,
#content li {
	margin-bottom: 1em;
}

#content li p {
	margin-bottom: .1em;
	border: 0;
}

#content li ul {
	margin-left: 1em;
	margin-bottom: 1px;
	padding: 0;
}

#content li ul li {
	background: url("dash.png") no-repeat 5px 0.75em;

	padding: 0 0 .1em 1em;
	margin: 0;

	border: 0;
	margin-bottom: 0em;
}

#content h1, #content h2, #content h3,
#content h4, #content h5, #content h6 {
	padding: 0;
	margin: 0;

	margin-left: -225px;
	width: 199px;

	font-family: Verdana;
	float: left;
	text-align: right;
	letter-spacing: 0.1em;

	line-height: 18pt;

	color: #3A3A57;
}

#content h1 {
	font-size: 10pt;
}

#content h1 + * {
	/* border-left-color: #18181C; */
}

#content h2 {
	font-size: 8pt;
}

#content h2 + * {
	/* border-left-color: #7272AB; */
}

#content .header img {
	margin-left: -87px;
	border: 0;
}

#content pre {
	width: 700px;
	padding-top: .40em;
	padding-bottom: .45em;
	line-height: 1.2em;

	background: #ECECF0;
}

#content blockquote {
}

#content blockquote p {
	border: 0;
}

#content div.header {
	margin-bottom: 14px;
}

#content div.codehilite {
	padding: 0;
	margin: 0;
}

#content li.expo p:not(:last-child) {
	margin-bottom: 1.0em;
}

.description {
	display: block;
	margin-top: -0.6em;

	font-family: Verdana;
	font-size: 8pt;
	letter-spacing: 0.1em;
	color: #3a3a57;
}