body {
	margin: 0; 
	padding: 0; 
	color: black;
	background-image: url(head.gif);
	background-repeat: repeat-x;
	background-color: white;
	text-align: center;
	font-family: Verdana,Arial,Sans-Serif;
	font-size: 13px;
}

a:link, a:visited, a:active {
	text-decoration: none;
	color: #008FCF;
}

a:hover {
	text-decoration: underline;
}

a img {
	border: medium none;
}

#pagewrapper {
	width: 100%;
	min-width: 960px;
	background-image: url(footer.gif);
	background-position: center bottom;
	background-repeat: repeat-x;
	text-align: center;
}

#page {
	width: 95%;
	min-width: 960px;
	margin-left: auto;
	margin-right: auto;
	text-align: left;
}

#head {
	width: 100%;
	height: 80px;
}

#logo {
	margin: 0;
	padding: 0;
	float: left;
}

#headtools {
	float: right;
	height: 77px;
	vertical-align: top;
}

#nav {
	float: right;
	position: relative;
	top: 31px;
}

#nav img {
	vertical-align: top;
}

#footer {
	height: 110px;
	color: #D0D0D0;
	font-size: 12px;
}

#footer div {
	padding-top: 40px;
}

#body {
	margin: 20px 300px 10px 10px;
	text-align: left;
	height: auto;
}

#body h1 {
	font-size: 20px;
	font-weight: bold;
	color: #008FCF;
}

#body h2 {
	font-size: 18px;
	font-style: italic;
	color: gray;	
}

#body h3 {
	font-size: 16px;
	font-weight: bold;
	font-style: italic;
	color: gray;	
}

#body p {
	color: black;
}

#body pre, code {
	margin: 5px 10px 5px 20px;
	padding: 5px 10px 5px 20px;
	width: 90%;
	background-color: #f7f7f7;
	background-image: url(right.gif);
	background-repeat: repeat-y;
	font-size: 11px;
}

#right {
	float: right;
	width: 250px;
	margin-left: 15px;
}

#right div.title {
	background-image: url(right-head.gif);
	background-repeat: repeat-y;
	padding: 3px 0px 3px 10px;
	margin-top: 10px;
	font-size: 18px;
	color: black;
	width: auto;
}

#right div.title a {
	color: black;
	text-decoration: none;
}

#right div {
	padding: 5px 10px 5px 10px;
	background-image: url(right.gif);
	background-repeat: repeat-y;
	background-color: #f7f7f7;
	font-size: 12px;
	width: auto;
} 

#right p {
	margin: 5px;
}