/* CSS Document */
* {
	margin: 0px;
	padding: 0px;
}
body, h1, h2, h3, h4, h5, h6, p, li {
	font: normal normal normal 100%/1.4 "sans-serif";
}
body {
	background: #FFFFFF url("images/bkgnd.gif");
	padding: 10px;
}
body#menu {
	background: #EEEEEE;
}
h1 {
	font-size: 130%;
	font-weight: bold;
}
h2 {
	background: transparent url("images/arrow.gif") no-repeat center left;
	font-size: 100%;
	font-weight: bold;
	margin-top: 1em;
	padding-left: 17px;
}
h3 {
	color: #0066CC;
	font-size: 90%;
	font-weight: bold;
	margin-top: 1em;
}
p {
	font-size: 80%;
	margin-top: 1em;
}
strong {
	font-weight: bold;
}
code {
	color: #FFFFFF;
	background-color: #000000;
	font-size: 80%;
	margin-top: 1em;
	padding: 0.2em;
	display: block;
}
ul {
	list-style: none decimal outside;
}
ul li {
	font-size: 80%;
	font-weight: bold;
}
ul.mainmenu {
	margin-left: 25px;
}
ul.submenu {
	margin-left: 10px;
	margin-bottom: 20px;
}
ul.submenu li {
	font-size: 100%;
	font-weight: normal;
}
ul.supmenu {
	margin-left: 20px;
	list-style: none square outside;
}
table {
	font-size: 80%;
}
hr {
	height: 1px;
	color: #000000;
}
.title {
	text-align: right;
	margin-left: auto;
	margin-right: auto;
}
.mainbody {
	margin-left: 25px;
	margin-right: 25px;
}
div.mainbody ul {
	margin-top: 1em;
	margin-left: 20px;
	list-style: none disc outside;
}
div.mainbody li {
	font-weight: normal;
}