body {
	font-family:verdana, arial, helvetica, sans-serif;
	background-color:#FFFFFF;
  font-weight: normal;
  font-size: 8pt;
  line-height: 125%;
  color: gray;
}
* {
	margin: 0px;
	padding: 0px;
}
html {
	height:100%;
	margin-bottom:1px;
}
#container {
	width: 80%;
	margin-right: auto;
	margin-left: auto;
	text-align: left;
	background-color: #FFFFFF;
}
#header {
	width:100%;
	padding-top:15px;
}
#header img {
  padding-bottom:10px;
}
.spacer {
	width:100%;
	height:15px;
}
hr {
	border:0px;
	color:#CCCCCC;
	background-color:#CDCDCD;
	height: 1px;
	width: 100%;
	text-align: left;
}
h1 {
	font-size:28px;
	color:#cc0000;
	background-color:#FFFFFF;
	font-family:Arial, Verdana, Helvetica, sans-serif;
	font-weight:300;
}
h2 {
	font-size:15px;
	color:gray;
	font-family:Arial, Verdana, Helvetica, sans-serif;
	font-weight:300;
	background-color:#FFFFFF;
}
h3 {
	color:#8cc110;
	font-size:15px;
	text-align:left;
	font-weight:300;
	padding:5px;
	margin-top:5px;
}

#left {
	float:left;
	width:200px;
	background-color:#FFFFFF;
}

#main {
	margin: 0 5px 5px 210px;
	padding: 0 15px;
	border-left: 1px solid silver;
}
p {
	background-color:#FFFFFF;
	line-height:20px;
	padding:5px;
}
a {
	color:#689a0d;
	background-color:#FFFFFF;
	text-decoration: none;
}
a:hover {
	color:#FF0066;
	background-color:#FFFFFF;
	text-decoration: underline;
}
#footer {
	clear:both;
	font-size:12px;
	font-family:Verdana, Arial, Helvetica, sans-serif;
}
.right {
	color:gray;
	background-color:#FFFFFF;
	float:right;
	font-size:100%;
	margin-top:5px;
}
.left {
	color:gray;
	background-color:#FFFFFF;
	float:left;
	font-size:100%;
	margin-top:5px;
}
#left a:link, #left a:visited {
  color: gray;
}
#left a:hover {
	color:#FF0066;
	text-decoration: underline;
}
ul {
  list-style-type: none;
  padding-bottom: 10px;
}
li {
  padding: 5px 0 0 10px;
}

span.code {
  font-family: courier;
  padding: 1px;
  background: #e9e9e9;
  color: #2d2d2d;
}

pre {
  border: 1px solid #e1e1e1;
  margin-bottom: 15px;
  color: #000;
  background: #f9f9f9;
  overflow: auto;
  padding: 5px;
}

.normal {}
.comment { color: #005; font-style: italic; }
.keyword { color: #C71585; font-weight: bold; }
.method { color: #077; }
.class { color: #074; }
.module { color: #050; }
.punct { color: #447; font-weight: bold; }
.symbol { color: #099; }
.string { color: #6600CC; background: #FFE; }
.char { color: #F07; }
.ident { color: #004; }
.constant { color: #07F; }
.regex { color: #B66; background: #FEF; }
.number { color: #F99; }
.attribute { color: #7BB; }
.global { color: #7FB; }
.expr { color: #227; }
.escape { color: #277; }