UL.NavList {
	margin-left: 1.5em;
	padding-left: 0px;
	list-style-type: none;
}

body,html {
	border: 0px
    color: #FFFFFF;
}

pre,code {
	font-family: "Courier New", Courier, monospace;
}

@media print {
	html {
		font-size: 14pt
	}
}

body {
	font-size: 12px;
	background-image: url(./images/background.gif);
    font-family: verdana, arial, helvetica;
	margin-bottom: 1em
}

div.main {
	border: gray 1px solid;
	margin-left: auto;
	margin-right: auto;
	padding: 5px;
	background: #000000;
	color: #FFFFFF;
	width: 800px;
	margin-right: auto;
}

div.copyright {
	border: 0px;
	margin-left: auto;
	margin-right: auto;
	padding: 0px;
	text-align: center;
	font-size: 80%;
}

h1 {
	font-size: 180%;
	margin-top: 50px;
	margin-bottom: 1px
}

h2 {
	font-size: 140%;
	margin-top: 25px;
	margin-bottom: 3px
}

h3 {
	font-size: 110%;
	margin-top: 20px;
	margin-bottom: 3px
}

h4 {
	font-size: 100%;
	margin-top: 20px;
	margin-bottom: 3px;
	font-style: italic
}

p {
	margin-top: 10px;
	margin-bottom: 10px
}

pre {
	font-size: 93%;
	margin-left: 6;
	color: #4444CC
}

code {
	font-size: 93%;
}

table {
	font-size: 100%
	color: #FFFFFF;
}

td {
	font-size: 100%
	color: #FFFFFF;
}

a:link {
	color: #FFA0A0
}

a:hover {
	color: #FFE0E0
}

a:visited {
	color: #FFA0A0;
	text-decoration: underline
}

ul {
	margin-top: 10px;
	margin-bottom: 10px;
}

li {
	margin-top: 5px;
	margin-bottom: 5px;
}

li p {
	margin-top: 5px;
	margin-bottom: 5px;
}

ol {
	margin-top: 5px;
	margin-bottom: 10px;
}

dl {
	margin-top: 10px;
	margin-bottom: 10px;
}

dt {
	margin-top: 5px;
	margin-bottom: 5px;
	font-weight: bold;
}

dd {
	margin-top: 5px;
	margin-bottom: 5px;
}

strong {
	font-weight: bold
}

em {
	font-style: italic
}

var {
	font-style: italic
}

div.revision {
	border-left-style: solid;
	border-left-width: thin;
	border-left-color: #7B68EE;
	padding-left: 5
}

a.command-link {
	
}

a.command-link img {
	border-width: 0px;
	border-style: none;
	vertical-align: middle;
}