body {
font-family : Trebuchet,verdana, sans-serif;
line-height:17px;
text-decoration:none;
margin: 0;
padding: 0;
color: rgb(0, 0, 0);
text-decoration: none;
background-image: url('background.gif');
}

table {
font-size: 12px; 
color:black;
font-family : Trebuchet,verdana, sans-serif;
text-decoration:none;
}
#header
{
position:absolute;
top:23px;
width:100%;
background-image: url('header_bg.gif');
background-position: 700px 0px; /* this places the orange background at
an offset, making sure it doesn't underlap the left side of the gif */
background-repeat: no-repeat;
}

#header_image
{
margin-left: 270px;
border: 0px
}

#navigation
{
position:absolute;
top: 80px;
left: 357px;
width:50%;
}


#languages
{
position:absolute;
top: 40px;
left: 740px;
width:50%;
}

.ds-note {
border: 1px solid black; 
float: right; 
padding: .5em;
margin: .5em 0 .5em 1em; 
width: 15em; 
background-color: #FFFFBF;
}
A:link {
color:#777777;
}
A:visited {
color:#777777;
}
A:active {
color:#777777;
}
A:hover {
color:#000000;
}

div {
	border: 0px solid #000000;
}

div.container {
	position: relative;
	margin: 0 auto;
	width: 780px;
	height: 5000px;
}

div.left {
	position: absolute;
	top: 0px;
	left: 0px;
	width: 200px;
	height: 100%;
}

div.top {
	position: absolute;
	top: 0px;
	left: 170px;
	width: 500px;
	height: 100%;
}

div.main {
	position: absolute;
	top: 150px;
	left: 200px;
	width: 580px;
	height: 100%;
}

pre, span.Code, span.verbatim {
font-size:0.9em;
line-height:1.5em;
background-color:#FFE5CC;
border: 0px solid #000000;
margin-left : 0.5em;
margin-bottom : 20px;
margin-right : 1em;
padding-left: 1em;
padding-right: 1em;
padding-top: 0.2em;
padding-bottom: 0.2em;
color : black;
}
			

.ds-kbd {
background-color: #efefef;
margin-left: 2em;
margin-right: 2em;
padding: .5em 1em .5em 1em;
font-family: monospace;
}

.ds-contentcontainer {
padding: 0em .5em .5em 0em;
}


.ds-innercontentcontainer {
line-height: 1.3;
clear: both;
padding-top: 1em;
}

.ds-nmcontent {
line-height: 1.3;
}


.ds-innercontentcontainer ol, .ds-innercontentcontainer ul, .ds-innercontentcontainer li {
line-height: 1.3em;
margin-top: 0.2em;
margin-bottom: 0.1em;
}

.ds-nmcontent ol, .ds-nmcontent ul, .ds-nmcontent li {
line-height: 1.3em;
margin-top: 0.2em;
margin-bottom: 0.1em;
}


/*
 *  a modified version of
 *  http://www.thenoodleincident.com/tutorials/typography/css/real.css
 *
 *  One could optionally remove everything below.
 */

hr {
border : none;
background-color : #361b13;
color : #000000;
height : 10px;
margin-bottom: 20px; 
margin-top: 20px; 
}

blockquote {
}

ul, li {
margin-bottom: 5px; 
margin-top: 0px; 
}

h1 {
font-size: 24px;
font-family : Arial,verdana, sans-serif;
font-weight : Bold;
margin-bottom: 10px; 
margin-top: 0px;
line-height: 32px; 
letter-spacing: -1px; 
text-decoration:none;
color:#ff7f00;
}

h2 {
font-size: 16px;
font-family : Arial,verdana, sans-serif;
margin-bottom: 5px;
margin-top: 0px;
padding-top : 15px;
text-decoration:none;
color:#ff7f00;
}

h3 {
font-size: 12px;
font-family : Arial,verdana, sans-serif;
margin-bottom: 5px; 
text-decoration:none;
color:#000000;
}

h4 {
font-size: 1em;
font-family : Arial,verdana, sans-serif;
font-weight : Bold;
margin-bottom: -12px; 
}

h5 {
font-size: 1.0em;
font-family : Arial Black;
margin-bottom: 0em; 
}

h6 {
font-size: 0.8em;
font-family : Arial Black;
margin-bottom: 0em; 
}

/* 
 * this might cause more problems that it solves, but fixed-width type
 * is extremely tiny in Firefox with some sizing methods (eg with 76% 
 * font-sizing)
*/
 
body kbd, body tt, body code {
font-size: x-small;
}
p { 
	margin-top: 1em; 
}