.error {
	color: red;
	display: block;
}


* {
	font-size: 12px;
	font-family: Arial, Verdana, Helvetica, sans-serif;
	margin: 0px;
	padding: 0px;
	border: 0px;
}

a {
	color: #376EAE;
	text-decoration: none;
}
a:visited {
	color: #2A4C67;
}
a:hover {
	color: #003867;
	text-decoration: underline;
}
a.blue {
	color: #376BA4;
}

a.green {
	color: #77911F;
}



div.hr {
	height: 1px;
	background-color: #DDE7F2;
}

table,tr,td {
	border-collapse: collapse;
	background-repeat: inherit;
}

p, ul, ol {
	margin-bottom: 12px;
}
/*
p:first-child {
	margin-top: 0px;
}

p + p {
	margin-bottom: 0px;
	margin-top: 12px;
}
*/

ol {
	list-style-type: decimal;
}
ol ol {
	list-style-type: lower-alpha;
}

li {
	margin: 2px 2em;
}

ul.no-bullets, ul.no-bullets li, li.no-bullets {
	list-style-type: none;
	margin: 0px;
}

*.smallFont, *.smallFont * {
	font-size: 11px;
}

*.nowrap {
	white-space: nowrap;
}

*.float-right {
	float: right;
	margin: 0px 0px 10px 10px;
}

*.float-left {
	float: left;
	margin: 0px 10px 10px 0px;
}

div.banners {
	float: right;
	margin: 0px 0px 10px 10px;
}
div.banners *.banner {
	display: block;
	margin-bottom: 10px;
}

/* I dont think this is used anymore...
.two-columns {
	float: left;
	width: 49.5%;
}
*/

/* Code Snippets style. */
pre, code {
	border: 3px solid rgb(220, 231, 242);
	background-color: rgb(248, 250, 252);
	width: auto;
	margin: 5px;
	padding: 10px;
	vertical-align: middle;
	
	overflow: auto;
}

/* Foot notes styles */
.footnotes {
	width: 100%;
	padding-top: 12px;
	border-top: 2px solid #DEE8F5;
	color: #4B4B4B;
}
.footnotes p {
	font-size: 11px;
}
sup {
	font-size: 8px;
}