/**/


html body {
background-color: #FFFFFF;
margin: 0px;
padding: 2em;
font-family: Georgia, serif;
font-size: 10pt;
}

a {
color: #225588;;
text-decoration: none;
}

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


h1 {
color: #114477;
font-family: Trebuchet MS, sans-serif;
font-size: 26px;
font-weight: normal;
margin-bottom: 0px;
width: 100%;
margin-top: 20px;
padding-bottom: 5px;
border-bottom: 1px dotted #666666;
}

h2 {
color: #114477;
font-family: Trebuchet MS, sans-serif;
font-size: 20px;
font-weight: normal;
margin-bottom: 0px;
width: 100%;
margin-top: 20px;
padding-bottom: 5px;
border-bottom: 1px dotted #666666;
}


div.bottom {
	border-top: 1px dotted #666666;
}

div.notes {
	font-size: smaller;
}
p.title {
color: #114477;
font-weight: bold;
font-size: larger;
}

pre {
font-family: Andale Mono, monospace;
font-size: 10pt;
padding: 10px;
margin-top: 10px;
margin-left: 25px;
margin-bottom: 10px;
margin-right: 5px;
border: dotted black 1px;
background-color: #ffffee;
}

pre.small {
	font-size: 10pt;
}

code {
color: #7B0404
}