body {
	font-size: 100%;
	font-family: Verdana, sans-serif, Helvetica, Arial;
	color: #553333;
	text-align: center;
	padding: 20px 0;
	margin: 0;
	background: #9192BE;
}
#PageTop {
	height: 6px;
	width: 760px;
	padding: 0;
	margin: 0 auto;
	background: url(../images_gen/wrapper_bg_top.gif) no-repeat bottom;
}
td {
	font-size: 90%;
}
#Navigation {
	font-size: 80%
}

#Wrapper {
	width: 740px;
	_width: 760px;
	margin: 0 auto;
	padding: 0 10px;
	position: relative;
	text-align: left;
	background: #fff url(../images_gen/wrapper_bg.gif) repeat-y;
}

#Header {
	width: 740px;
	padding: 0;
	margin: 0;
	background: url(../images_gen/header_bg.gif) no-repeat right top;
}
#Logo {
	width: 340px;
	padding: 13px 0 12px 20px;
	margin: 0;
	background: url(../images_gen/logo_bg.gif) no-repeat top left;
	float: left;
}
#Header ul {
	float: right;
	margin: 10px 120px 0 0;
	font-size: 85%;
	width: 120px;
	list-style: none;
	text-align: right;
}
#Header ul a {
	text-decoration: none;
	color: #824D22;
	font-weight: bold;
}
#Header ul a:hover {
	text-decoration: underline;
}
#Navigation {
	width: 700px;
	_width: 740px;
	padding: 0 20px;
	background: url(../images_gen/wood041.jpg);
	border-bottom: 1px solid #fff;
}
ul#MainNav {
	list-style: none;
	padding: 0;
	margin: 0;
}
ul#MainNav li {
	float: left;
}
ul#MainNav li h3 {
	float: left;
	padding: 5px 10px;
	margin: 0;
	font-size: 110%;
}
ul#MainNav li h3 a {
	color: #fff;
	text-decoration: none;
}
ul#MainNav li h3 a:hover {
	color: #FFFFCC;
	text-decoration: none;
}
ul#MainNav li h3 a.Active {
	color: #FFFFCC;
	text-decoration: none;
	border-bottom: 2px solid #5C266A;
}
#Page {
	background: url(../images_gen/page_bg_top.gif) repeat-x top;
	margin: 0;
	padding: 20px 0 0 0;
}
#Page h1 {
	margin: 0 0 15px 20px;
	font-size: 300%;
	font-family: Georgia, "Times New Roman", Times, serif;
	font-weight: normal;
	font-style: italic;
	letter-spacing: 1px;
}
#Content {
	width: 700px;
	_width: 740px;
	padding: 0 20px 20px 20px;
	margin: 0;
	background: url(../images_gen/page_bg_bottom.gif) repeat-x bottom;
	border-bottom: 1px solid #fff;
}
#Content h1, #Content h2, #Content h3, #Content p {
	margin: 0 0 12px 0;
}
#Content h1, #Content h2, #Content h3 {
	font-family: Georgia, "Times New Roman", Times, serif;
	text-align: center;
}
#Content h1 {
	font-size: 220%;
	font-weight: bold;
	font-style: normal;
}
#Content h2 {
	font-size: 190%;
	font-weight: normal;
}
#Content h3 {
	font-size: 140%;
}
#Content a {
	color: #5C266A;
	font-style: underline;
}
#Content a:hover {
	color: #000099;
}

#Footer {
	background: url(../images_gen/wood041.jpg);
	width: 740px;
	padding: 0 ;
	margin: 0;
	font-weight: bold;
}
#Footer p {
	margin: 0;
	padding: 8px 15px;
	font-size: 80%;
	color: #fff;
	float: left;
}
#Footer ul {
	margin: 0;
	padding: 8px 15px;
	font-size: 80%;
	float: right;
	list-style: none;
}
#Footer ul li {
	float: left;
	margin: 0 0 0 13px;
}

#Footer ul li a {
	color: #fff;
	text-decoration: none;
}

#PageBottom {
	height: 6px;
	width: 760px;
	padding: 0;
	margin: 0 auto;
	background: url(../images_gen/wrapper_bg_bottom.gif) no-repeat top;
}









.clearfix:after {
    content: "."; 
    display: block; 
    height: 0; 
    clear: both; 
    visibility: hidden;
}
.clearfix {display:inline-block;}
/* Hides from IE-mac \*/
* html .clearfix {height: 1%;}
/* End hide from IE-mac */

.Clear {
	height: 1px;
	line-height: 1px;
	font-size: 1px;
	clear: both;
}

div.hr {
  height: 15px;
  background: #fff url(../images_gen/wood041.gif) repeat scroll center;
}
div.hr hr {
  display: none;
}

h1.headline { color: blue; }

img.centred {
	display: block;
	margin: 0 auto;/* should be auto, but this is necessary because of IE bug... there's a surprise*/
}
td img
{
	padding: 10px;
}
/* for PDF dumping */
.obj_num {
	font-family: Georgia, "Times New Roman", Times, serif;
	font-weight: normal;
	font-style: bold;
	font-size: 150%;
}
.stream { 
	font-style: italic;
	font-size: 80%;
}
.name {
	font-style: bold;
}
.number {
	background: yellow;
	font-color: navy;
}
.boolean {
	background: #FF88FF;
}
.array {
	background: magenta;
}
.dictionary {
	background: cyan;
}