body {
	font-family: "Helvetica,Arial,FreeSans";
	color: #334;
	background: #f7fcfc url('pattern.png');
}
ul#nav { margin-top: 0; float:right;display:inline; margin-left: 0; padding-left: 0; }
ul#nav li { display:inline; margin-right: 1em; }
a { color: #203050; font-weight: bold;}
a:hover { color: #506080; text-decoration: none; font-weight: bold;}

a.top {
	font-size: 8pt;
	margin-left: 1em;
	margin-right: 1em;
	float: right;
}

h1 {
	font-size: 3em;
	color: #080303;
	margin-top: 0;
	margin-bottom: 10px;
	border-bottom: 2px solid #080303;
}
h1 .small { font-size: 0.4em; }

h2 {
	font-size: 2em;
	color: #080303;
	margin: 0;
}

#header {
	width: 800px;
	margin: 1em auto;
	padding: .5em;
	border: 1px solid #a0a0a0;
	background: #efefef url('smooth.jpg');
	border-radius: 10px; -moz-border-radius: 10px;
}

.module {
	width: 800px;
	margin: 1em auto;
	padding: 0 0 0 1em;
}

.definition, .constructor {
	font-family: sans-serif;
	font-weight: bold;
	color: #444;
}

.definition .name, .constructor .name {
	color: #000;
}

.arglist {
	color: #102040;
}

.arguments, .returns, .example {
	font-weight: bold;
}

.overview, .preamble, .function, .class, .module > .name {
	border: 1px solid #aaa;
	border-radius: 5px; -moz-border-radius: 5px;
	padding: .2em .5em;
	background: #fff;
	margin: 1em .2em;
}

.module > .name {
	color: #050A10;
	font-size: 1.5em;
	font-weight: bold;
	margin-left: -.5em;
}

.preamble {
	margin-top: -1em;
}

.overview {
	margin-bottom: 2em;
}
.overview h3 {
	margin: 0;
	color: #405070;
}

dl {
	margin-left: 2em;
	margin-top: .5em;
}
dt, dt a {
	font-family: sans-serif;
	color: #666;
}
dt code {
	font-size: 12pt;
	color: #102040;
}
dd {
	font-weight: normal;
}

.overview dt {
	display: inline-block;
	float: left;
	width: 30%;
	font-family: sans-serif;
	font-weight: bold;
	color: #666;
}
.overview dd {
	display: block;
	margin: .2em 0;
}

pre {
	border: 1px solid #aaa;
	border-radius: 5px; -moz-border-radius: 5px;
	background: #f8f8ff;
	padding: .2em;
	margin: 1em 2em;
	font-weight: normal;
}
pre code { border: 0; }
pre code .function {
	background: #f8f8ff;
	border: 0;
	padding: 0;
	margin: 0;
}