/* CSS file to use for HTML formatting */

body {
	background-color: white;
	margin: 0px auto 0px auto;
	max-width: 800px;
	min-width: 320px;
	padding: 10px;
	font-family:arial,sans-serif;
	font-size: 10pt;
	font-weight: normal;
	text-align: justify;
}


p, table {
/*	margin: 15px 25px 15px 25px; */
	margin: 15px 15px 0px 15px;
	font-family:arial,sans-serif;
	font-size: 9pt;
	text-align: justify;
}

i {
	color:#444;
}

pre {
	margin: 15px 25px 5px 25px;
	padding: 5px;
	font-size: 8pt;
/*	background-color: #f0f0f0;
	border: 1px solid #d0d0d0; */
}

a {
	color: #4040f0;
	font-family:arial,sans-serif;
	font-size: 9pt;
	text-decoration:none;
}

a:hover {
	text-decoration: none;
	font-weight: normal;
	background-color: #e0f0e0;
}



ul {
	margin: 0px auto 10px auto;
	font-family:arial,sans-serif;
	font-size: 9pt;
}

li {
	margin: auto auto auto 25px;
}

img {
	border: none;
}

.PAGE_TOP {
	background-color: #f0f0f0;
	margin: 0px 0px auto 0px;
	padding: 15px;
	font-size: 14pt;
	/* border: 1px solid #a0a0a0; */
}

.PAGE_TOP .product { text-align: center; }

.PAGE_TOP .smallprint {
	color: #a0a0a0;
	font-size: 8pt;
}


.PAGE_BOTTOM {
	color: #a0a0a0;
	background-color: #f0f0f0;
	margin: 20px 0px 0px 0px;
	padding: 15px;
	font-size: 8pt;
	text-align: center;
	/* border: 1px solid #a0a0a0; */
}

.PAGE_BOTTOM .smallprint { font-size: 8pt; }

.CITEM {
	font-size: 9pt;
	margin: 4px auto 4px 15px;
}

/*
.CITEM a {
	text-decoration: none;
	font-weight: normal;
}

.CITEM a:hover {
	text-decoration: none;
	font-weight: normal;
	background-color: #e0f0e0;
}
*/

.CODE {
	display:inline-block;
	margin: 15px auto 5px 25px;
	padding: 5px;
	font-size: 8pt;
	background-color: #efefff;
	border: 1px solid #c3c3d6;
	color: black;
}

.SUBLEVEL {
	margin: 0px auto 5px 15px;
}


.TITLE {
	margin: 25px 15px 0px 15px;
	font-size: 12pt;
	font-weight: bold;
}

.SUBTITLE {
	margin: 25px 15px 0px 15px;
	font-size: 11pt;
	font-weight: bold;
}

.DECLARE {
	margin: 10px 25px 0px 15px;
}
/* HH and HT were added for aligning inside of DECLARE, across browsers. */

.DECLARE .HH {
	margin: 0px;
}

.DECLARE .HT {
	margin: auto;
	display: inline;
	background-color:#f0fff0;
	color: green;
	font-family: monospace;
	font-size:10pt;
	padding: 0px;
}

.DECLARE .smallprint {
	margin: 0px;
	font-size:-1px;
}

.PROPERTY {
	margin: 5px 10px 0px 15px;
}

.PROPERTY .name {
	min-width: 80px;
	display: inline-block;
	font-style: italic;
	font-weight: bold;
}

.PROPERTY .text {
	display: inline-block;
	width:auto;
}

.SEE_ALSO{
	font-size: 8pt;
	margin: 10px auto 20px 15px;
}

/*
.SEE_ALSO a {
	color: #4040f0;
	font-family:arial,sans-serif;
	text-decoration: none;
	font-style: normal;
	font-weight: normal;
}

.SEE_ALSO a:hover {
	text-decoration: none;
	font-weight: normal;
	background-color: #e0f0e0;
}
*/

.smallprint { font-size: 8pt; }

.NAVI{
	text-align: center;
	font-size: 8pt;
	margin: 30px auto 20px auto;
}

/*
.NAVI a {
	color: #4040f0;
	font-family:arial,sans-serif;
	text-decoration: none;
	font-style: normal;
	font-weight: normal;
}

.NAVI a:hover {
	text-decoration: none;
	font-weight: normal;
	background-color: #e0f0e0;
}
*/

.NOTE,
.WARNING {
	color:black;
	font-style: normal;
}

.NOTE FONT {
	font-weight: bold;
	color:#f80;
}

.WARNING FONT {
	font-weight: bold;
	color:#a33;
}



/*
 to hold other objects, invalid for <p> itself.
*/
.div_p {
	margin: 0px 15px 10px 15px;
	font-family:arial,sans-serif;
	font-size: 9pt;
	text-align: justify;
}