A {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 10px;
	color: #990000;
	text-decoration: none;
}

A:visited {
	font-family: Verdana, Arial, Helvetica, sans-serif; 
	font-size: 10px;
	color: #990000;
	text-decoration: none;
}

A:hover {
	font-family: Verdana, Arial, Helvetica, sans-serif; 
	font-size: 10px;
	color: #0000EE;
	text-decoration: underline; 
}

A:active {
	font-family: Verdana, Arial, Helvetica, sans-serif; 
	font-size: 10px;
	color: #FF66CC;
	text-decoration: none;
}

BODY {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 10px;
	color: #000000;
	line-height: 130%;
	background-color: #FFFFFF;
	margin: 0px;
	padding: 0px;
}

CODE {
	font-family: Courier,'Courier New',  mono;
	font-size: 12px;
	padding-right: 3px;
	padding-left: 3px;
}

H3 {
	font-size: 14px;
	font-weight: bold;
	margin-top: 5%;
	border: none;
	margin-left: -26px;
}
    
H4 {
	font-size: 12px;
	font-weight: bold;
	margin-left: 20px;
}
    
H5 {
	font-size: 11px;
	font-weight: bold;
	text-decoration: underline;
	margin-top: 30px;
	margin-left: -24px;
}
    
KBD {
	font-family: Courier, 'Courier New', mono;
	font-size: 12px;
	white-space: nowrap;
}

LI {
	margin-left: 20px;
	margin-left: 0px;
	margin-bottom: 12px;
	padding-left: 0px;
	list-style-position: inside;
}

LI DIV {
	background-color: #FCFCFF;
	background-color: #FFFFFF;
	border: 1px solid #FFEEFF;
	border: none;
	margin-left: 0px;
}

LI P {
	background-color: #FCFCFF;
	background-color: #FFFFFF;
	border: 1px solid #FFEEFF;
	border: none;
	padding-left: 20px;
	text-indent: 20px;
}

OL OL LI {
	margin-left: 40px;
	padding-left: 0px;
	list-style-position: inside;
}

OL LI OL {
	margin-left: 0px;
	padding-left: 0px;
	/* background-color: #00FF00; */
    /* added */
}

OL LI OL LI {
	margin-left: 0px;
	padding-left: 20px;
	/* background-color: #FFCCFF; */
    /* added */
}

OL LI OL LI DIV {
    margin-left: -30px;
    /* background-color: #CCCCCC; */
    /* added */
}

OL OL OL LI {
	margin-left: 20px;
	padding-left: 0px;	
}

OL {
	list-style: decimal;
	margin-left: 0px;
	margin-top: 0px;
	padding-left: 0px;
	padding-top: 0px;
	border: 1px solid #DDFFFF;
	border: none;
	background-color: #FFFFF9;
	background-color: #FFFFFF;
	list-style-position: outside;
} 

OL OL {
    list-style: upper-alpha; 
    padding-top: 12px; 
	background-color: #FFFFFF;
}

OL OL OL { 
    list-style: upper-roman;
	background-color: #FFeeee;
	background-color: #FFFFFF;
}

OL OL OL OL { list-style: lower-alpha; }

OL OL OL OL OL { list-style: lower-roman; }

UL {
	background-color: #FFF0F0;
	background-color: #FFFFFF;
	margin-top: 12px;
	list-style-position: outside;
	list-style-type: disc;
	margin-left: 0px;
}

OL UL {
	background-color: #F0F0F0;
	background-color: #FFFFFF;
	margin-top: 12px;
	list-style-position: outside;
	list-style-type: disc;
	margin-left: 0px;
}

UL LI {
    border: 1px solid #FF00FF;
    border: none;
    margin-left: 0px;
}

VAR {
	color: #000066;
	font-style: normal;
	font-family: Courier, 'Courier New', mono;
	font-size: 12px;
}

.boxed {
	font-size: 12px;
	color: #000000;
	background-color: #C8CFC6;
	padding: 5px;
	border-top: 1px double #333333;
	border-right: 2px double #000000;
	border-bottom: 2px double #000000;
	border-left: 1px double #333333;
	text-indent: 0px;
	margin-top: 12px;
	margin-right: 20px;
}

.bullet {
	list-style-type: disc;
	display: list-item;
	list-style-position: inside;
	text-indent: 20px;
	margin: 0px;
	line-height: 130%;
}

.center {
	text-align: center;
}

.centerP {
	text-align: center;
	border: 1px solid #99FFCC;
	border: none;
	margin-top: 12px;
	margin-bottom: 12px;
}

.codeDivision {
	font-family: Courier, 'Courier New', mono;
	font-size: 12px;
	background-color: #FFFFEC;
	padding: 4px;
	border-top: 1px solid #6699CC;
	border-right: 2px solid #346797;
	border-bottom: 2px solid #346797;
	border-left: 1px solid #6699CC;
	margin-top: 12px;
	color: #000000;
	line-height: normal;
	line-height: 150%;
}

.codeDivisionAdd {
	font-family: Courier, 'Courier New', mono;
    font-size: 12px;
    background-color: #FFFFEC;
    padding: 4px;
    border-top: 1px solid #FFFF99;
    border-right: 2px solid #CC9966;
    border-bottom: 2px solid #CC9966;
    border-left: 1px solid #FFFF99;
    margin-top: 12px;
    margin-left: 20px;
    margin-right: 20px;
    color: #000000;
    line-height: 150%;
    text-indent: 0px;
}

.codeDivisionAS1 {
	font-family: Courier, 'Courier New', mono;
    font-size: 12px;
    background-color: #FFECFF;
    padding: 4px;
    border-top: 1px solid #FFCCCC;
    border-right: 2px solid #CC6699;
    border-bottom: 2px solid #CC6699;
    border-left: 1px solid #FFCCCC;
    margin-top: 12px;
    margin-left: 20px;
    margin-right: 20px;
    color: #000000;
    line-height: 150%;
    text-indent: 0px;
}

.comment {
	background-color: #eeFFFF;
	text-indent: 20px;
	margin-top: 12px;
	padding: 6px;
	border-top-width: 1px;
	border-right-width: 2px;
	border-bottom-width: 2px;
	border-left-width: 1px;
	border-top-style: solid;
	border-right-style: solid;
	border-bottom-style: solid;
	border-left-style: solid;
	border-top-color: #99CCFF;
	border-right-color: #0066CC;
	border-bottom-color: #0066CC;
	border-left-color: #99CCFF;
	margin-right: 20px;
	margin-left: 20px;
	margin-bottom: 12px;
}

.commentAS {
	color: #999999;
}

.doubleSpace {
	text-indent: 20px;
	padding: 0px;
	margin: 0px;
	background-color: #ffdddd;
	display: block;
	height: 20px;
}

.home {
	position: absolute;
	z-index: 1;
	left: 0px;
	top: 1px;
	clip:   rect(   );
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 9px;
	color: #7f7f7f;
	visibility: visible;
}
           
.indent20 {
	margin-left: 20px;
	text-indent: 20px;
	background-color: #F2FFF5;
	background-color: #FFFFFF;
	border: 1px solid #CCFFCC;
	border: none;
}

.introduction {
	text-indent: 20px;
	display: block;
	border: 1px dashed #eeeeFF;
	border: none;
	margin: 20px;
}

.noIndent {
	text-indent: 0px;
}

s {
	color: #FF0000;
	text-decoration: line-through;
}

strike {
	color: #FF0000;
	text-decoration: line-through;
}

.subtitle {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 12px;
	color: #666666;
	line-height: 130%;
	text-align: right;
}

.teletype {
	font-family: Courier, 'Courier New', mono;
	font-size: 13px;
	color: #000000;
	background-color: #FFFFFF;
	padding: 6px;
	border-top: 1px solid #999999;
	border-right: 1px solid #333333;
	border-bottom: 1px solid #333333;
	border-left: 1px solid #999999;
	line-height: 1.3;
	margin: 12px 20px auto 20px;
	display: block;
}

.title {
	font-family: Verdana, Arial, Helvetica, san-serif;
	font-size: 18px;
	color: #000000;
	font-weight: bold;
	text-decoration: underline;
	background-position: center;
	text-align: center;
}
           
