body {
   padding-left: 11em;
	background-color: #E5E5E5;
	font-family: Sans;
}
a {
	color: olive;
	text-decoration: none;
}
ul.navbar {
    list-style-type: none;
    padding: 0;
    margin: 0;
    position: absolute;
    top: 2em;
    left: 1em;
    width: 9em;
}
h1 {
   color: #1E90FF;
   font-variant: small-caps;
}
h2 {
   color: #008000;
   font-variant: small-caps;
}
address {
    margin-top: 1em;
    padding-top: 1em;
    position: relative;
    border-top: thin dotted }
p.code {
   margin-top: 1em;
   padding-left: 20em;
   background-color: #FFFFFF;
   font-family: monospace;
}
span.code-reserver-word {
   font-weight: bold;
   color: #0000FF;
}
span.code-text {
   font-weight: bold;
   color: #008000;
}
span.code-word {
   font-weight: bold;
   color: #1E90FF;
}