html,body{
	height:100%;
	margin:0px;
	padding:0px
}
.nav1 {
	font-family: Arial, Helvetica, sans-serif;
	font-size: 11px;
	font-weight: bolder;
	color: #000066;
}
.nav2 {
	font-family: Arial, Helvetica, sans-serif;
	font-size: 12px;
	font-weight: bolder;
	color: #000066;
}
p, td, ul, ol {
	font-family: Arial, Helvetica, sans-serif;
	font-size: 12px;
	line-height: normal;
}
h1 {
	font-family: Arial, Helvetica, sans-serif;
	font-size: 20px;
	font-style: normal;
	font-weight: bolder;
	color: #000066;
	text-transform: capitalize;
}
h2 {
	font-family: Arial, Helvetica, sans-serif;
	font-size: 18px;
	font-style: normal;
	font-weight: bold;
	color: #000066;
}
h3 {
	font-family: Arial, Helvetica, sans-serif;
	font-size: 14px;
	font-style: normal;
	font-weight: bold;
	color: #003399;
}
.figure {
	font-family: Arial, Helvetica, sans-serif;
	font-size: 10px;
	color: #000000;
}
.figurebutton {
	font-family: Arial, Helvetica, sans-serif;
	font-size: 10px;
	color: #000000;
	background-color: #999999;
	border: thin outset #333333;
}
caption {
	font-family: Arial, Helvetica, sans-serif;
	font-size: 12px;
	font-weight: bold;
	color: #000033;
}
.button {
	color: buttontext;
	background-color: buttonface;
	font: caption;
	border: thin outset #333333;
	white-space: nowrap;
	padding-top: 2px;
	padding-right: 4px;
	padding-bottom: 2px;
	padding-left: 4px;
}
.highlight {
	background-color: #FFCC00;
	padding: 1px;
}
.smallprint {
	font-family: Arial, Helvetica, sans-serif;
	font-size: 9px;
	font-weight: normal;
	color: #A8CBFF;
}
a.smallprinturl:link {
	color: #0099FF;
}
a.smallprinturl:visited {
	color: #FFFFFF;
}
a.smallprinturl:hover {
	color: #FFFF66;
}
.style2 {
	font-size: 12px;
	color: #A8CBFF;
}
.smallprint2 {
	font-family: Arial, Helvetica, sans-serif;
	font-size: 9px;
}
a.nonexistinglink {
	color: #990033;
	text-decoration: underline overline;
}
a.definition {
	color: #003333;
	text-decoration: none;
	cursor: help;
	border-bottom-width: thin;
	border-bottom-style: dotted;
	border-bottom-color: #003333;
}
table.bordered tr td {
	border-width: 0px 0px 1px 0px;
	border-style: dashed dashed dashed dashed;
	border-color: black black #000066 black;
}
table.bordered tr.hdrbdr td {
	border-width: 1px 0px 1px 0px;
	border-style: solid none solid none;
	border-color: #000066 black #000066 black;
	background-color: #CCCCCC;
}
p.category {
	border:1px solid #000;
	padding:2px;
	background:#CCCCCC;
}
#tooltip{
	background:#CCFFFF;
	border:1px solid #666666;
	color:#333333;
	font:menu;
	margin:0px;
	padding:3px 5px;
	position:absolute;
	visibility:hidden
}
.redants {
	margin: auto;
	padding: 2px;
	border: thin dashed #FF0000;
}
.tw4winMark {
	font-family: "Courier New", Courier, mono;
	font-size: 12px;
	color: #800080;
}
.tw4winError {
	font-family: "Courier New", Courier, mono;
	color: #00FF00;
	font-size: 12px;
}
.hidden {
	border-bottom-style: dashed;
	padding-bottom: 0px;
	border-bottom-width: 1px;
}
ol.roman {
	list-style-type: upper-roman;
}
.example {
	background-color: #CCCCCC;
	border: 1px dashed #000033;
}
.smalltype { font-size: 9px }
.bdrOver {
	background-color: #CCCCCC;
	border: 1px dashed #000033;
	padding: 2px;
}
.bdrOut {
	background-color: transparent;
	border: 1px solid transparent;
	padding: 2px;
}
hr {
	border: none 0;
	border-top: 1px dashed #000;
	height: 1px;
}
a.externalLink { 
   padding-right: 18px;
   background: transparent url(/icon_external.gif) no-repeat center right;
}
a.popup { 
   padding-right: 18px;
   background: transparent url(/icon_popup.gif) no-repeat center right;
}
.pathname {
	font-family: "Courier New", Courier, monospace;
}
li {
	margin-top: 8px;
	margin-right: 0px;
	margin-bottom: 0px;
	margin-left: 0px;
}
li.high {
    padding-bottom: 10px;
}
.acad1 {
	font-family: Arial, Helvetica, sans-serif;
	font-size: 7pt;
	color: #990000;
}
.acad2 {
	font-family: Arial, Helvetica, sans-serif;
	font-weight: bolder;
	color: #000000;
}
.indexlink {
	font-family: Arial, Helvetica, sans-serif;
	color: #A8CBFF;
}
.dialogbuttons {
	margin-left: 45px;
}
.u { text-decoration: underline; }
.b { font-weight: bold; }
.center { text-align: center; }
.left { text-align: left; }
.right { text-align: right; }