body {
  font-family: Arial, Helvetica, sans-serif;
	font-size: 12px;
	padding: 0px;
	margin: 10px;
	border: 0px solid #000000;
	background-color: white;
	color: black;
	background-color: #FFFFFF;
}

DIV.itemtitle {
	font-weight: bold;
	font-size: 16px;
	text-color: black;
}
DIV.itemtitle a, a:visited, a:hover {
	color: black;
}
DIV.indexentry {
	padding: 5px;
}

a, a:visited {
	color: blue;
	text-decoration: none;
}
a:hover {
	color: blue;
	text-decoration: underline;
}
DIV.contentindex {
	padding: 5px;
}
DIV.metainfo {
	color: #6C7B8B;
	font-size: 12px;
}
DIV.header {
	background-color: white;
}
DIV.header h1 {
	text-decoration: none;
}
DIV.footer {
	background-color: white;
	color: black;
	text-decoration: underline;
	font-weight: italic;
	font-size: 12px;
	text-align: right;
	padding: 5px;
}
DIV.darkmenu {
	color: gray;
	font-size: 24px;
	font-weight: bold;
}
DIV.darkmenu a {
	color: blue;
	font-size: 18px;
	font-weight: bold;
}
DIV.darkmenu ul {
                list-style-type: none;
        margin: 0px;
        padding: 3px 3px 0px 3px;
        height: 16px;
}
DIV.darkmenu li {
        display: inline;
        margin: 0px;
        padding: 4px;
}

DIV.darkmenu a:visited {
	color: blue;
	font-size: 18px;
	font-weight: bold;
}

DIV.darkmenu a:hover {
	color: blue;
	font-size: 18px;
	font-weight: bold;
}
DIV.docstyle hr {
padding: 10px;
border: none 0;
border-top: 1px dashed #000;/*the border*/
width: 100%;
height: 1px;/*whatever the total width of the border-top and border-bottom equal*/
}