/* <style type="text/css"> */
h2 {
	font-family: sans-serif;
	color: white;
	/* background-color: #aa3355;	/* light red/magenta */
	/* background-color: #990055;	/* dark red/magenta */
	/* background-color: #505050;	/* dark grey */
	/* background-color: #2244aa;	/* dark blue w/ tint of torqoise */
	/* background-color: #1838a5;	/* dark blue pastel */
	background-color: #002299;	/* dark blue pastel nicer */
	padding: 12px;
	border: 1px solid black;
	font-size: 18px;
}
h4 {
	font-family: sans-serif;
	font-weight: bold;
	color: white;
	/* background-color: #aa3355;	/* light red/magenta */
	/* background-color: #990055;	/* dark red/magenta */
	/* background-color: #505050;	/* dark grey */
	/* background-color: #2244aa;	/* dark blue w/ tint of torqoise */
	/* background-color: #1838a5;	/* dark blue pastel */
	background-color: #002299;	/* dark blue pastel nicer */
	padding: 6px;
	border: 1px solid black;
	font-size: 16px;
}
h5 {
	color: white;
	/* background-color: #aa3355;	/* light red/magenta */
	/* background-color: #990055;	/* dark red/magenta */
	/* background-color: #505050;	/* dark grey */
	background-color: #0022aa;	/* dark blue pastel nicer */
	padding: 3px;
}
.etf {
	font-family: sans-serif;
	font-size: 12px;
	font-weight: bold;
	/* background-color: #dddddd; */
	background-color: #eeeeee;
	border: 1px solid black;
	padding: 9px;
}
.boldbox {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	/* background-color: #ffcccc;	/* light pink */
	/* background-color: #ccccff;	/* light blue */
	/* background-color: #bbbbff;	/* light blue */
	/* background-color: #ddddff;	/* light blue */
	/* background-color: #eeddff;	/* light purple */
	background-color: #eeeeff;	/* lightest blue */
	padding: 12px;
	font-size: 15px;
	font-weight: bold;
	border: 1px solid black;
}
.regbox {
	/* same, but not bold, and regular body (smaller) font */
	font-family: Verdana, Arial, Helvetica, sans-serif;
	background-color: #eeeeff;	/* lightest blue */
	padding: 8px;
	font-size: 12px;
	border: 1px solid black;
}
.fixedcode {
	background-color: #dddddd;
	padding: 8px;
	border: 1px solid black;
	/* width: 80%; */
	font-family: VeraSans-Mono, Monospace;
	font-weight: bold;
}
.code {
	background-color: #dddddd;
	padding: 8px;
	border: 1px solid black;
	/* width: 80%; */
	font-family: sans-serif;
	font-weight: bold;
}
.note {
	background-color: #ff9900;
	font-size: 12px;
	padding: 6px;
	border: 1px solid black;
}
.warn {
	/* color: #ffffff; */
	/* background-color: #cc0000; */
	color: #000000;
	background-color: #ff6633;
	font-weight: bold;
	font-size: 12px;
	padding: 8px;
	border: 1px solid black;
}
body {
        font-family: Verdana, Arial, Helvetica, sans-serif;
        font-size: 12px;
        color: #000000;
        background-color: #ffffff;
}
/* </style> */