body
{
	width: 100%;
	margin: 0px 0px 0px 0px;
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 70%;
}

h1, h3, h4
{
	margin-bottom: .4em;
	margin-top: 1em;
}

h1
{
	font-size: 120%;
	margin-top: 0em;
}

h3
{
	font-size: 115%;
}

h4
{
	font-size: 100%;
}

div.table
{
	text-align: center;
}

table
{
	font-size: 100%;
	border-collapse: collapse;
	width: 93%;
}

th
{
	background-color: #cccccc;
	color: #000000;
	font-weight: bolder;
	padding: 5px;
	border: 1px solid #999999;
}

tr
{
	background-color: #ffffff;
	padding: 5px;
	text-align: left;
	border: 1px solid #999999;
}

td
{
	border: 1px solid #999999;
	padding: 5px;
}

p
{
	margin: .5em 0em .5em 0em;
}

pre
{
	margin-top: .5em;
	margin-bottom: .5em;
}

pre.code
{
    font: Monospace, Courier New, Courier;
    color: #000066;
    font-size: 100%;
	margin-left: 20px;
}

.syntax
{
	font: Monospace, Courier New, Courier;
	letter-spacing: .1em;
	background-color: #cccccc;
	color: #000000;
	font-size: 100%;
	font-weight: bolder;
	padding: 5px;
	border: 1px solid #999999;
	margin-left: 20px;
	padding: 4px 8px;
	margin-top: 1em;
	margin-bottom: 1em;
	width: 96%;
}

.i1
{
	margin-left: 20px;
}

.i2
{
	margin-left: 40px;
}

.i3
{
	margin-left: 60px;
}

.missing
{
	color: Red;
}

div#banner
{
	width: 100%;
	margin: 0px 0px 0px 0px;
	border-width: 0px;
	border-bottom: 1px solid #999999;
	padding: 0px 0px 0px 0px;
	background-color: #99ccff;
}

div#header
{
	margin: 0px 0px 0px 0px;
	border-width: 0px;
	padding: .4em .4em 0 .4em;
	background-color: #99ccff;
	font-style: italic;
}

div#footer
{
	font-size: 100%;
	font-style:italic;
	border-top: 1px solid #999999;
	margin-left: 20px;
	margin-top: 1em;
	margin-bottom: 1em;
	width: 96%;
}

div#banner h1
{
	margin: 0px 0px 0px 0px;
	border-width: 0px;
	padding: 0 .4em .3em .4em;
	background-color: #99ccff;
}

div#content
{
	margin: 0px 0px 0px 0px;
	padding: 4px 4px 4px 4px;
}

code.ce
{
	font-style: italic;
}

pre.syntax span.lang
{
	margin: 0;
	font-weight: normal;
}

pre.syntax span.meta
{
	margin: 0;
	font-weight: normal;
	font-style: italic;
}

.permissions
{
	margin-top: 6px;
}

blockquote.dtBlock
{
	margin: .5em 1.5em .5em 1.5em;
}

a:link
{
	color: #0000ff;
}

a:visited
{
	color: #0000ff;
}

a:hover
{
	color: #3366ff;
}