/* Jim Saiya, FormatData, July 2001 */

body, td  {
	font-family : Verdana, Arial, Helvetica, sans-serif;
	font-size : 12px;
}

pre, tt, code {
	font-size : 12px
}

.address  {
	font-size : 10px;
	margin-top : 2px;
}

.smallhead  {
	font-size : 13px;
	font-style : italic;
	font-weight : bolder;
}

.menubar {
	font-family : Verdana, Arial, Helvetica, sans-serif;
	font-size : 12px;
	font-weight : bold; 
	color : #FFFFFF;
	background : #000099;
	padding-top : 4px;
	padding-bottom : 4px;
	padding-left : 4px;
}

.menubar a:link, .menubar a:visited {
	text-decoration : none;	
	color : #FFFFFF;
	background : #000099;
}

.menubar a:hover {
	text-decoration : underline;	
	color : #FFFFCC;
	background : #000099;
}

.menubar2 {
	font-family : Verdana, Arial, Helvetica, sans-serif;
	font-size : 12px;
	font-weight : bold;
	color : #FFFFFF;
	background : #990066;
	padding-top : 4px;
	padding-bottom : 4px;
	padding-left : 4px;
}

.menubar2 a:link, .menubar2 a:visited {
	text-decoration : none;	
	color : #FFFFFF;
	background : #990066;
}

.menubar2 a:hover {
	text-decoration : underline;	
	color : #FFFFCC;
	background : #990066;
}

div.locationbar {
	color : #000000;
	background : #FFFFFF;
	padding-top : 4px;
	padding-bottom : 4px;
	padding-left : 4px;
}

.navlink  {
	font-family : Verdana, Arial, Helvetica, sans-serif;
	font-size : 12px;
	font-weight : bold;
}

div.historyBox, div.exampleBox {
	color : #000000;
	background-color : #FFFFFF;
	border : solid 2px #99CC99;
	margin-left : 0;
	margin-right : 24px;
	margin-top : 8px;
}

div.historyBox div.header, div.exampleBox div.header {
	color : #000000;
	background-color : #F0FFF0;
	border-color : #99CC99;
	border-style : none none solid;
	border-width : 2px;
	font-weight : bold;
	padding : 1px;
}

div.historyBox p {
	padding : 6px;
}

div.exampleBox p, div.exampleBox ol { 
	font-family : "Times New Roman", Times, serif;
	padding-left : 4px;
	padding-right : 4px;
	margin-top : 6px;
 } 
 
.historyList {
	font-family : Verdana, Arial, Helvetica, sans-serif;
	font-size : 12px;
}

div.dtdBox {
	color : #000000;
	background-color : #FFFFFF;
	border : solid 2px #CCCC99;
	margin-left : 0;
	margin-right : 24px;
	margin-top : 8px;
}

div.dtdBox div.header {
	color : #000000;
	background-color : #F0F0DF;
	border-color : #CCCC99;
	border-style : none none solid;
	border-width : 2px;
	font-weight : bold;
	padding : 1px;
}

div.dtdBox pre {
	padding : 6px;
}

.update  {
	font-family : Verdana, Arial, Helvetica, sans-serif;
	font-size : 11px;
	font-style : italic;
	color : #999999;
	background-color : transparent;
}

.indent {
	text-indent : 24px;
}