body,html {
	font-family: Arial, Helvetica, sans-serif;
	color: #000000;
	font-size: 14px;
	background-color: #ffffff;
}

td {
        font-family: Arial, Helvetica, sans-serif;
	font-size: 14px;
        color: #000000;
}

p {
	font-size: 100%;
}

/*
font[size="-1"]>b>a.menuitem {
        font-size:100%;
}

font[size="-1"]>a.menuitem {
	font-size:100%;
}
*/

pre {
        font-family: Courier, monospace;
        white-space: pre;
}

h1 {	
	font-size: 120%;
	font-weight: bold;
	color: navy;
	padding-top: 8px;
}

h2 {
        width: 100%;
        background-color: #FFF1B3;
	font-size: 110%;
        border: #FFF1B3;
        font-weight: bold;
        border-width: 0px 0px 0px 0px;
}

h3 {
        width: 100%;
        background-color: #FFF1B3;
}

h4,h5,h6 {  
	color: navy;
}

hr { size:1 }

.copyright {
	      font-size: 80%;
              color: navy;
}

.location {
	font-size: 80%; 
}

.code { 
	font-family:Courier, monospace;
	white-space: pre;
	color: #990066;
}

.documentdate { 
	font-size: 80%; 
	color: navy; 
}

.version {
	font-size: 80%; 
	color: navy;
}

.author {
	font-size: 80%; 
	color: navy;
}

.info { 
	font-size: 80%; 
	color: navy; 
}

A:hover {
        text-decoration: underline;
}

A.topnav:hover {
        text-decoration: underline;
}

A.topnav:link {
}

A.topnav:visited {
}

.topnav {
        font-size: 100%;
	FONT-WEIGHT: bold;
	COLOR: navy;
}

A.topnav1:hover {
        text-decoration: underline;
}

A.topnav1:link {
}

A.topnav1:visited {
}

.topnav1 {
	text-decoration: none;
	FONT-SIZE: 80%;
	COLOR: black;
}

A.search:link {
}

A.search:visited {
}

.search {
	FONT-WEIGHT: bold;
	FONT-SIZE: 80%;
	COLOR: black;
}

A.menuitem:hover {
        text-decoration: underline;
}

A.menuitem:link {
}

A.menuitem:visited {
}

.menuitem {
        FONT-WEIGHT: bold;
	FONT-SIZE: 80%;
	COLOR: black;
}

.menucurrent {
	FONT-WEIGHT: bold;
	FONT-SIZE: 80%; 
	COLOR: #6b8ec6;
}

.menuheading {
        text-decoration: none;
	FONT-WEIGHT: bold;
	COLOR: black;
	font-size: 90%;
}

A.menuheading:hover {
        text-decoration: underline;
}

.unnamed1 {
	background-color: #FFFF00;
	width: 100%
}

.hotlinksubtitle {
	FONT-WEIGHT: bold;
	FONT-SIZE: 80%;
	COLOR: black;
}

.hotlinktext {
	FONT-WEIGHT: normal;
	FONT-SIZE: 80%;
	COLOR: black;
}
