CODE
{
  font-size: 1.1em;
  color: #000000;
}

.code
{
  color: #000000;
}

.code, .io
{
  font-family: courier, system;
}

.denote
{
  font-style:italic;
  color: #000000;
}

.code .denote, CODE.denote
{
  font-style:  normal;
  color: #000000;
}

.io
{
  color: #604020;
}

BODY
{ 
  margin:0;
  margin-right:100px;
  font-family: verdana, arial, sans-serif;
	font-size: 0.9em; 
	line-height: 1.3em;
	color: #333333;
}


DIV.code, PRE.code
{
  background: #e8eeff;
  margin-left: 25px;
  padding: 5px;
}

DIV.io, PRE.io 
{
  margin-left: 20px;
  font-weight: normal;
}

DIV#logo_and_links
{
	position: absolute;
	left:10px;
	top:10px;
	width:76px;
}

IMG#logo
{
  padding: 0px 8px 0px 8px;
  border: 0;
}

DIV#main
{
	float: left;
	width:600px;
	margin-top:10px;
  margin-left: 96px;
  margin-right:0;
}


H1, H2, H3, H4
{
  color: #000000;
}

H1
{
  font-size: 16pt; 
	line-height: 18pt;
  font-weight:bold;
	margin-top: 10px;
	margin-bottom: 10px;
}

H2
{
  font-size: 14pt; 
	line-height: 15pt;
  font-weight:normal;
	margin: 30px 0px 15px 0px;
}

H3
{
  font-size: 12pt; 
	line-height: 14pt;
  font-weight:normal;
	margin: 20px 0px 10px 0px;
}

H4
{
  font-size: 10pt; 
	line-height: 13pt;
  font-weight:bold;
	margin-top: 10px;
	padding-top: 5px;
}