body {
  text-align: center;
  padding: 0;
  margin: 0;
  background: #5f6a7c;
}

/* --- Header ------------------------ */ 

div#header_image {
  width: 100%;
  min-width: 1000px;
  background: url(/images/rgen_header.jpg) no-repeat center top;
}

div#header {
  height: 165px;
  width: 1000px;
  margin: 0 auto;
}

div#navibar {
  float: right;
  margin: 15px;
  text-align: right;
  font-size:14pt;
  font-family: Arial,Times;
  line-height: 1.4;
}

#navibar a:link, #navibar a:visited {
	display: block;
	float: left;	/* fixes problem in IE5.2/Mac */
	text-decoration: none;
	margin-left: 0.8em;
	margin-right: 0.8em;
	color: #d54444;
}

#navibar a:hover, #navibar a:active {
	border-bottom: 2px solid #d54444;
}

#navibar div.selected {
	float: left;
	margin-left: 0.8em;
	margin-right: 0.8em;
	color: #d54444;
	border-bottom: 2px solid #d54444;
}

#navibar a:link.selected, #navibar a:visited.selected {
	border-bottom: 2px solid #d54444;
}

/* --- Body ------------------------ */ 

div#page {
  width: 1000px;
  margin: 0 auto;
  padding: 0;
  text-align: left;
  border-bottom: 80px solid #5f6a7c;
}

div#body1 {
  width: 100%;
  float: left;
  background: url(/images/rgen_box_body.jpg) repeat-y left top;
}

div#body2 {
  width: 100%;
  float: left;
  background: url(/images/rgen_box_top.jpg) no-repeat left top;
}

div#body3 {
  width: 100%;
  float: left;
  background: url(/images/rgen_box_bottom.jpg) no-repeat left bottom;
}

/* --- Footer ------------------------ */ 

div#footer {
  position: relative
}

div#footer_inner {
  float: left;
  width: 100%;
  position: absolute;
  top: 15px;
  text-align: center;
  font-size: 80%;
  color: #888;
}

#footer_inner p {
  margin: 5px;
}

/* --- Main Area ------------------------ */ 

div#main {
  width: 685px;
  float: right;
  margin: 10px 35px 35px 0px;
}

/* IE Double Float Margin Bugfix */
* html div#main {
  display: inline;
}

/* --- Sidebar ------------------------ */ 

div#sidebar {
  width: 210px;
  float: left;
  margin: 25px 0px 30px 35px;
}

/* IE Double Float Margin Bugfix */
* html div#sidebar {
  display: inline;
}

ul#nav {
  font-family: arial;
  list-style-type: none;
  padding-left: 0px;
}

#nav ul {
  list-style-type: none;
  padding-left: 1em;
}

#nav li {
  font-weight: normal;
  margin-top: 5px;
  margin-bottom: 5px;
}

#nav li.current {
  font-weight: bold;
  //text-decoration: underline;
}

#sidebar ul li {
  color: #888;
}

/* --- General ------------------------ */ 

p.info, p.author {
  font-family: Arial;
  font-size: 80%;
  color: #888;
}

a:link, a:visited {
  text-decoration: none;
  color: #d54444;
}

a:hover, a:active {
  text-decoration: underline;
}

h1, h2, h3 {
  padding: 0;
  margin-top: 0.8em;
  font-family: Arial;
  font-weight: normal;
  color: #888;
}

p {
  margin: 1em 0 1em 0;
}

img {
  max-width:90%;
}

.clear {
	clear: both;
}

/* --- Code Ray ------------------------ */ 

.CodeRay {
  background-color: #f8f8f8;
  border: 1px solid silver;
  font-family: 'Courier New', 'Terminal', monospace;
  color: #100;
  margin: 20px 35px 20px 35px;
  padding: 0.5em;
}
.CodeRay pre { margin: 0px }

div.CodeRay { }

span.CodeRay { white-space: pre; border: 0px; padding: 2px }

table.CodeRay { border-collapse: collapse; width: 100%; padding: 2px }
table.CodeRay td { padding: 2px 4px; vertical-align: top }

.CodeRay .line_numbers, .CodeRay .no {
  background-color: #def;
  color: gray;
  text-align: right;
}
.CodeRay .line_numbers tt { font-weight: bold }
.CodeRay .no { padding: 0px 4px }
.CodeRay .code { width: 100% }

ol.CodeRay { font-size: 10pt }
ol.CodeRay li { white-space: pre }

.CodeRay .code pre { overflow: auto }

.CodeRay .af { color:#00C }
.CodeRay .an { color:#007 }
.CodeRay .av { color:#700 }
.CodeRay .aw { color:#C00 }
.CodeRay .bi { color:#509; font-weight:bold }
.CodeRay .c  { color:#888 }

.CodeRay .ch { color:#04D }
.CodeRay .ch .k { color:#04D }
.CodeRay .ch .dl { color:#039 }

.CodeRay .cl { color:#B06; font-weight:bold }
.CodeRay .co { color:#036; font-weight:bold }
.CodeRay .cr { color:#0A0 }
.CodeRay .cv { color:#369 }
.CodeRay .df { color:#099; font-weight:bold }
.CodeRay .di { color:#088; font-weight:bold }
.CodeRay .dl { color:black }
.CodeRay .do { color:#970 }
.CodeRay .ds { color:#D42; font-weight:bold }
.CodeRay .e  { color:#666; font-weight:bold }
.CodeRay .en { color:#800; font-weight:bold }
.CodeRay .er { color:#F00; background-color:#FAA }
.CodeRay .ex { color:#F00; font-weight:bold }
.CodeRay .fl { color:#60E; font-weight:bold }
.CodeRay .fu { color:#06B; font-weight:bold }
.CodeRay .gv { color:#d70; font-weight:bold }
.CodeRay .hx { color:#058; font-weight:bold }
.CodeRay .i  { color:#00D; font-weight:bold }
.CodeRay .ic { color:#B44; font-weight:bold }

.CodeRay .il { background: #eee }
.CodeRay .il .il { background: #ddd }
.CodeRay .il .il .il { background: #ccc }
.CodeRay .il .idl { font-weight: bold; color: #888 }

.CodeRay .in { color:#B2B; font-weight:bold }
.CodeRay .iv { color:#33B }
.CodeRay .la { color:#970; font-weight:bold }
.CodeRay .lv { color:#963 }
.CodeRay .oc { color:#40E; font-weight:bold }
.CodeRay .on { color:#000; font-weight:bold }
.CodeRay .op { }
.CodeRay .pc { color:#038; font-weight:bold }
.CodeRay .pd { color:#369; font-weight:bold }
.CodeRay .pp { color:#579 }
.CodeRay .pt { color:#339; font-weight:bold }
.CodeRay .r  { color:#080; font-weight:bold }

.CodeRay .rx { background-color:#fff0ff }
.CodeRay .rx .k { color:#808 }
.CodeRay .rx .dl { color:#404 }
.CodeRay .rx .mod { color:#C2C }
.CodeRay .rx .fu  { color:#404; font-weight: bold }

.CodeRay .s  { background-color:#fff0f0 }
.CodeRay .s  .s { background-color:#ffe0e0 }
.CodeRay .s  .s  .s { background-color:#ffd0d0 }
.CodeRay .s  .k { color:#D20 }
.CodeRay .s  .dl { color:#710 }

.CodeRay .sh { background-color:#f0fff0 }
.CodeRay .sh .k { color:#2B2 }
.CodeRay .sh .dl { color:#161 }

.CodeRay .sy { color:#A60 }
.CodeRay .sy .k { color:#A60 }
.CodeRay .sy .dl { color:#630 }

.CodeRay .ta { color:#070 }
.CodeRay .tf { color:#070; font-weight:bold }
.CodeRay .ts { color:#D70; font-weight:bold }
.CodeRay .ty { color:#339; font-weight:bold }
.CodeRay .v  { color:#036 }
.CodeRay .xt { color:#444 }