html, body {
		margin: 0;
		padding: 0;
		height: 100%;
		font-size: 100.01%;
		font-family: arial,verdana,sans-serif;
		color: #000000;
}

a { text-decoration: none; }
a:link, a:hover, a:visited { color: #1a1184; }
a.navbar, a.navbar:link, a.navbar:hover, a.navbar:visited { color: #ffffff; }

h1 { font-size: x-large; clear: both; margin-top: 2ex; margin-bottom: 1ex;}
h2 { font-size: large; clear: both; margin-top: 2ex; margin-bottom: 1ex;}
h3 { font-size: medium; clear: both; margin-top: 2ex; margin-bottom: 1ex;}
h4 { font-size: medium; clear: both; margin-top: 1.5ex; margin-bottom: 1ex;}

span.p { font-weight: bold; padding-right: 1.5ex; }tr.navbar-headings { color: #000000; }
tr.navbar-links { color: #ffffff; background-color: #5577aa; }

p { margin-top: 1ex; margin-bottom: 1ex;}

td.margin {
		width: 180px;
		background-color: #eeeeee;
		border-left: 1px dashed black;
		vertical-align: top;
}

hr.footnote {
		width: 40%;
		margin-left: 0px;
		color: black;
		background-color: black;
		height: 1px;
		border: 0px;
		text-align: left;
}

sup.footnote {
		font-weight: normal;
		font-style: normal;
		text-decoration: none;
}

div.footnote { font-size: x-small; }

pre.listing {
		font-family: "courier new", courier, fixed;
		font-size: small;
		margin: 1px;
}

pre.verbatim {
		font-family: "courier new", courier, fixed;
}

.block-element {
		margin-top: 1ex;
		margin-bottom: 1ex;
}