body {
	font-family: Verdana;
	font-size: 12px;
	background-color: #ffefde;
}
h1 {
	font-size: 38px;
	color: #000000;
	margin-bottom: 0px;
}
h2 {
	font-size: 16px;
	color: #000000;
	text-align: center;
	font-weight: bold
}
h3 {
	font-size: 11px;
	color: #000000;
}
p {
	margin-top: 0px;
}
code {
	font-size: 30px;
	color: #0000ff;
}
pre {
	font-size: 30px;
	color: #0000ff;
	padding: 5px;
}
a.navi:link {
	text-decoration: none;
	font-weight: bold;
	color: #0000aa;
}
a.navi:visited {
	text-decoration: none;
	font-weight: bold;
	color: #000066;
}
a.navi:hover {
	color: yellow;
	text-decoration: none;
	background-color: red;
}
a.navi:active {
	font-size: 15px;
	text-decoration: none;
	font-weight: bold;
	color: #ff0000;
}
a:link, a:visited, a:active, a:hover {
	text-decoration: none;
	font-weight: bold;
	color: #634142;
	font-size: 12px;
}
a:link, a:visited, a:active, a:hover {
	text-decoration: none;
	font-weight: bold;
	color: #634142;
	font-size: 12px;
}
a:active, a:hover {
	text-decoration: underline;
}
#title {
	height: 34px;
	padding: 5px;
	margin-bottom: 20px;
}
#left, #right {
	width: 20%;
	line-height: 18px;
}
#left {
	float: left;
}
#right {
	float: right;
}
.menutitle {
	font-weight: bold;
	margin-top: 15px;
}
#content {
	float: left;
	width: 54%;
	margin-left: 3%;
}
#footer {
	clear: both;
	position: relative;
	border-top: 1px solid #000000;
	bottom: 0px;
	font-size: 10px;
	text-align: left;
	color: black;
	width: 100%;
	height: 10px;
}
#main {
	width: 100%
}
#nav {
	float: left;
	width: 240px;
	line-height: 23px;
	padding-top: 10px;
	white-space: nowrap
}
h3 {
	text-align: left;
}
span.fnt2 {
	margin: 0px;
	font-size: 11px;
}
span.fntL {
	margin: 0px;
	font-size: 10px;
	font-family: Arial;
}
div.hoverMenu {
	width: 200px;
	height: 20px;
	overflow: hidden;
}
div.hoverMenu div {
	line-height: 20px
}
div.hoverMenu span {
	text-decoration: none;
	font-weight: bold;
	color: #634142;
	font-size: 13px;
}
div.hoverMenu div a {
	padding-left: 10px;
	font-size: 11px;
	color: rgb(64,64,64);
}
div.hoverMenu a:hover {
	background: #f5f5f5;
}