body {
	font-family: Arial, Helvetica, sans-serif;
	font-size: 16px;
	color: #003300;
	background-color: #FFCC66;
	margin: 0;
	padding: 0;
	border: 0 none;
}

.box {
	margin: 0 1em 1em 1em;
	padding: 2pt 1em 1em 1em;
	background-color: #ffeeaa;
}

.backbox {
	margin: 1em 1em 0 1em;
	padding: 1em 1em 0 1em;
}

.navbox {
	margin: 1em 1em 1em 1em;
}

h1, h2, h3, h4 {
	margin: 1em 1pt 0 1em;
}


div.separator {
	text-align: right;
}

img.toppage {
	 vertical-align: baseline;
	 height: 2em;
	 width: 0.8125em;
}

/*
h1, h2, h3, h4 {
	margin: 3em 1em 1em 3em;
	padding: 3em 1em 1em 3em;
}

p {
	text-align: justify;
	margin: 32px;
}

h2 + p {
	margin-top: -1em;
}
*/

.subtitle {
	font-size: 60%;
}

.imgframe {
	margin: 4px;
	border: 4px solid #CC9933;
	background-color: transparent;
}

.imgcaption {
	font-size: 70%;
	padding: 3px;
}

a {
	color: #009900;
	background-color: transparent;
}

a:visited {
	color: #006600;
}

a:hover {
	color: #007700;
	text-decoration: underline;
}

a:active {
	color: red;
}

a:focus {
	color: #009900;
}

a:link { } /* override */

.ilink {
	font-size: larger;
	font-weight: bolder;
	background-color: #FFCC00;
	font-family: "Courier New", Courier, mono;
}

.sample {
	background-color: #ffdd77;
	margin: 4px 0 6px 2em;
	border: 2px #FFCC00 dashed;
	padding: 4px;
}
.sample1 { background-color: #DDDDDD;}
.sample2 { background-color: #EEEEEE;}

h5, h6 {
	font-weight: normal;
	border-bottom: none;
	margin-bottom: 0;
}

.minor {
	border-top: none;
	margin-top: 0;
	font-size: smaller;
	font-weight: lighter;
	list-style-image: url(/pixelblu.gif);
}

.attn {
	font-size: larger;
	font-weight: bolder;
	background-color: #FFDD88;
	border: 2px dashed #EEBB44;
} 

/*
NB: font-stretch exists in CSS 2, was dropped in CSS 2.1, drafted in CSS 3
*/
.error { font-size: 110%; font-weight: bold;
	margin-left: 4pt;
	margin-top: 0;
	color: #ff0000; }
.succint { font-size: 88%; line-height: 88%; font-stretch: semi-condensed;
	margin: 0; border: 0;
	padding-left: 4pt;
	padding-right: 4pt;
	padding-top: 0;
	padding-bottom: 1pt; }
.legal { font-size: 68%; font-stretch: condensed; color: #666666;
	margin: 0; border: 0;
	padding-left: 4pt;
	padding-right: 4pt;
	padding-top: 12pt;
	padding-bottom: 0; }
.f_head {
	margin-left: 4pt;
	margin-bottom: 0; }