body {
	font-family: "Molengo", "Dejavu Sans", sans-serif;
	line-height: 1.4em;
	background-color: #fff;
	color: #333;
	margin: 30px auto;
	width: 850px;
	border: 1px solid #000;
	padding: 0px;
}

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

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


h1#top {
	background: #369;
	padding: 10px 0px 0px 10px;
	margin: 0px;
	height: 45px;
	letter-spacing: .2em;
	font-family: 'Yanone Kaffeesatz', serif;
	font-size: 2.37em;
	font-weight: bold;
	color: white;
	border-bottom: 1px solid #000;
}

h1#top a, h1#top a:hover {
	color: #FFF;
}

ul#navigation {
	position: relative;
	top: -25px;
}

ul#navigation li {
	display: inline;
	list-style: none;
	padding: 0px;
	margin: 0px;
}

ul#navigation li a {
	margin: 0px;
	padding: 0px 10px;
	border: 1px solid #000;
	color: #AAA;
	background-color: #24476B;
	-moz-border-radius: 5px;
}

ul#navigation li a:hover {
	color: #EEE;
}


div#functions {
	float: right;
	width: 200px;
	padding: 5px;
	margin-right: -25px;
	margin-bottom: 40px;
	margin-top: -27px;
	border-left: 1px dashed #B8C3CC;
	-moz-border-radius: 30px;
	border: solid 1px #B8C3CC;
	background-color: #EAF4FF;
}

div#functions h2 {
	font-size: medium;
	font-weight: normal;
	background: #369;
	color: #fff;
	padding: 3px 10px;
	-moz-border-radius-topleft: 5px;
	-moz-border-radius-bottomright: 5px;
	margin-bottom: 5px;
}

div#functions h3 {
	font-size: small;
	font-weight: bold;
	color: gray;
	margin-bottom: 5px;
}

div#functions ul {
	margin: 0px;
	padding: 0px 20px;
}

div#functions li {
	padding: 3px 0px;
	border-bottom: 1px solid #eee;
	list-style-type: none;


#nav span {
  line-height: 1.0;
  color: #333333;
  display: block;
  border: solid 1px #DDD9D4;
  margin: 0;
  border-top-color: #FFFFFF;
  border-left-color: #FFFFFF;
  background: #F3F0EC;
  padding: 5px 10px 5px 0.5em;
}


#nav :link:hover, #nav :visited:hover {
  color: #FF0000;
  border: solid 1px #DDD9D4;
  border-top-color: #FFFFFF;
  border-left-color: #FFFFFF;
  background: #F3F0EC;
}



}

div#functions table {
	font-size: 0.8em;
}


div#content {
	width: 70%;
	margin-left: 20px;
	margin-bottom: 20px;
}

div#content h1,
div#content h2,
div#content h3 {
	font-weight: normal;
}

div#content h1 {
	margin-bottom: 30px;
}

div#content h2 a:hover {
	text-decoration: none;
}


pre {
	width: 100%;
	margin: 2px;
	padding: 5px;
	background-color: #EDEDFA;
	font-size: 0.9em;
	font-family: 'Inconsolata', 'Dejavu Mono', monospace;
	border: 1px dashed #369;
	overflow: auto;
}

}



p#quote {
        font-family: 'Inconsolata';
	font-weight: italic, bold;

}

p#footer {
	clear: both;
	padding: 0px;
	font-family: Inconsolata;
	text-align: right;
	font-size: x-small;
	margin-left: 25px;
	margin-right: 25px;
}