body {
	font-family: Verdana, Arial, sans-serif;
	line-height: 1.5em;
	font-size: 75%;
	background-color: #dddddd;
}

p {
	font-family: Verdana, Arial, sans-serif;
	line-height: 1.5em;
	margin: 1em 0em 0em 0em
}

p.nav {
	font-family: Verdana, Arial, sans-serif;
	line-height: 1.25em;
	margin: 0px 0px 5px 5px;
}

p.navsource {
	font-family: Verdana, Arial, sans-serif;
	line-height: 1.25em;
	font-size: 90%;
	margin: 15px 0px 5px 5px;
}

p.list {
	margin: 0.5em 0em 0em 0em;
}

p.navfolder {
	font-family: Verdana, Arial, sans-serif;
	line-height: 1.25em;
	font-style: italic;
	margin: 0px 0px 5px 5px;
}

p.navtop {
	font-family: Verdana, Arial, sans-serif;
	line-height: 1.25em;
	font-size: 90%;
	margin: 0px 0px 5px 5px;
}

p.head-caption {
	font-family: Verdana, Arial, sans-serif;
	font-size: 66%;
	color: #000000;
	font-style: italic;
	margin: 0px 0px 3px 0px;
}

p.head-title {
	font-family: Verdana, Arial, sans-serif;
	font-size: 125%;
	font-color: #000000;
	font-weight: bold;
	margin: 0px 0px 0px 0px;
}

p.foot {
	font-family: Verdana, Arial, sans-serif;
	font-size: 60%;
	color: #ffffff;
	margin: 0px 0px 0px 0px;
}

p.top {
	font-family: Verdana, Arial, sans-serif;
	font-size: 60%;
	color: #ffffff;
	font-weight: bold;
	margin: 0px 0px 0px 0px;
}

td {
	font-family: Verdana, Arial, sans-serif;
}

td.norm {
	line-height: 1.5em;
	font-size: 75%;
}

td.body {
	font-family: Verdana, Arial, sans-serif;
	line-height: 1.5em;
	font-size: 75%;
	padding-top: 12px;
	padding-bottom: 25px;
	padding-left: 10px;
}

td.element {
	font-family: Verdana, Arial, sans-serif;
	line-height: 1.5em;
	font-size: 75%;
	vertical-align: top;
}

td.elementright {
	font-family: Verdana, Arial, sans-serif;
	line-height: 1.5em;
	font-size: 75%;
	padding-left: 10px;
	vertical-align: top;
}

td.navleft {
	font-family: Verdana, Arial, sans-serif;
	line-height: 1.25em;
	font-size: 66%;
	padding-top: 10px;
	background-color: #bbbbff;
}

td.sep {
	line-height: 0px;
	background-color: #000044;
	padding: 0px 0px 0px 0px;
}

td.foot {
	background-color: #000044;
	padding: 0px 0px 0px 0px;
	text-align: center;
}

td.defcodehead {
	background-color: #ffffff;
	font-weight: bold;
	padding-top: 3px;
	padding-bottom: 3px;
	padding-left: 5px;
	padding-right: 5px;
	white-space: nowrap;
	border-color: black;
	border-left-width: 0px;
	border-top-width: 0px;
	border-bottom-width: 2px;
	border-right-width: 0px;
	font-size: 120%;
	vertical-align:top;
}

td.deftexthead {
	background-color: #cccccc;
	padding-top: 3px;
	padding-bottom: 3px;
	padding-left: 5px;
	padding-right: 5px;
	border-color: black;
	border-left-width: 0px;
	border-top-width: 0px;
	border-bottom-width: 2px;
	border-right-width: 0px;
	line-height: 1.5em;
	font-size: 120%;
	vertical-align:top;
}
td.defcode {
	background-color: #ffffff;
	font-weight: bold;
	padding-top: 3px;
	padding-bottom: 3px;
	padding-left: 5px;
	padding-right: 5px;
	white-space: nowrap;
	border-color: black;
	border-left-width: 0px;
	border-top-width: 0px;
	border-bottom-width: 1px;
	border-right-width: 0px;
	font-size: 100%;
	vertical-align:top;
}

td.deftext {
	background-color: #cccccc;
	padding-top: 3px;
	padding-bottom: 3px;
	padding-left: 5px;
	padding-right: 5px;
	border-color: black;
	border-left-width: 0px;
	border-top-width: 0px;
	border-bottom-width: 1px;
	border-right-width: 0px;
	line-height: 1.5em;
	font-size: 100%;
	vertical-align:top;
}

table.deflist {
	border-color: black;
	margin-top: 10px;
	margin-bottom: 10px;
	margin-left: 15px;
	margin-right: 15px;
	border-left-width: 1px;
	border-top-width: 1px;
	border-bottom-width: 0px;
	border-right-width: 1px;
	line-height: 1.5em;
	font-size: 100%;
}

h1 {
	font-family: Verdana, Arial, sans-serif;
	margin-bottom: 0.5em;
}

h2 {
	font-family: Verdana, Arial, sans-serif;
	margin-bottom: 0.5em;
}

h3 {
	font-family: Verdana, Arial, sans-serif;
	margin-bottom: 0.5em;
}

h4 {
	font-family: Verdana, Arial, sans-serif;
	margin-bottom: 0.5em;
}

h5 {
	font-family: Verdana, Arial, sans-serif;
	margin-bottom: 0.3em;
}

h6 {
	font-family: Verdana, Arial, sans-serif;
	margin-bottom: 0.2em;
}

ul {
	margin-top: 0.5em;
	margin-bottom: 0.5em;
}

li {}

.rest {
	font-family: Verdana, Arial, sans-serif;
	font-size: 70%;
	margin: .5em 0;
	line-height: 1.3em;
}

.sidebar {
	background-color: #ffcccc;
	border: 1px solid black;
	font-family: Verdana, Arial, sans-serif;
	font-size: 85%;
	line-height: 1.5em;
}

a:link {
	color: #ee0055;
	text-decoration: none;
}

a:visited {
	color: #ee0055;
	text-decoration: none;
}

a:active {
	color: #ee0055;
	text-decoration: none;
}

a:hover {
	text-decoration: underline;
}

a.nav:link {
	color: #000044;
	text-decoration: none;
}

a.nav:visited {
	color: #000044;
	text-decoration: none;
}

a.nav:active {
	color: #ee0055;
	text-decoration: none;
}

a.nav:hover {
	text-decoration: underline;
}

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

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

pre.code {
	font-family: "Courier New", Courier, monospace;
	background-color: #ffffff;
	border: 1px;
	border-style: solid;
	border-color: #000000;
	padding: 5px 5px 5px 5px;
	margin-left: 15px;
	margin-right: 15px;
}

hr {
	color: black;
}