/**/

html body {
background-color: #ffffff;
margin: 0px;
font-family: Arial, Georgia;
font-size: 16pt;
}

h1 {
font-family: Trebuchet MS,  Verdana, Arial;
color: #ffffee;
background: #23668C;
border-bottom: 1px solid #333333;
padding: 10px;
font-size: 1.9em;
font-weight: normal;
text-align: center;
margin: 0px;
}


a.nav {
font-family: Georgia, Arial;
color: #ffffee;
font-size: 2em;
text-align: center;
text-decoration: none;
font-weight: bold;
}

#navBack {
float: left;
margin-left: 20px;

}

#navForward {
float: right;
margin-right: 20px;
}

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

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


p {
margin-left: 3em;
margin-right: 3em;
font-size: 1.4em;
}

p.title {
font-size: 3em;
margin-top: 1em;
margin-bottom: 1em;
}

ul {
margin-left: 3em;
margin-right: 3em;
font-size: 1.4em;
list-style-type: disc;
}

li {
vertical-align: middle;
}

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

pre.small {
	font-size: 0.7em;
}

div.notes {
	display: none;
}

div.footer {
  border-top: 1px dotted #666666;
  font-size: 0.7em;
  text-align: right;
  padding-right: 1em;
}

img {
margin-right: 1em;
}
code {
color: #7B0404
}