body {
    background: white;
    font-family: "Bitstream Vera Sans", Helvetica, Arial, sans-serif;
    font-size: medium;
    padding: 0px;
    margin: 0px;
    }
a {
    font-family: "Bitstream Vera Sans", Helvetica, Arial, sans-serif;
    font-weight: bold;
    text-decoration: none;
    }
a:link {
    color: #0000ff; text-decoration: none;
    }
a:visited {
    color: #800080; text-decoration: none;
    }
a:hover {
    color: red;
    text-decoration: underline;
    }
a:active {
    color: #ff0000; text-decoration: none;
    }
blockquote { 
    font-style: italic;
    margin-left: 5%;
    margin-right: 5%;
    }
code {
    font-family: "Courier New","courier", monospace;
    text-align: left;
    font-weight: bold;
    }
h1 {
    display: block;
    background: #c0c0ff;
    color: green;
    border-top:1px;
    border-bottom:1px;
    border: solid #999 2px;
    border-color: #fff #333 #333 #fff;
    margin-left: 5px;
    margin-right: 5px;
    margin-top: 5px;
    margin-bottom: 5px;
    padding: 2px;
    padding-right: 30px;
    font-size: 24pt;
    font-weight: bold;
    }
h1.topbar {
    text-align: right;
    margin-right: 20px;
    font-size: 36pt;
    }
h2 {
    display: block;
    background: #ffff99;
    // width: 95%;
    border-top: 1px;
    border-bottom: 1px;
    border: solid 2px;
    border-color: #fff #333 #333 #fff;
    color: maroon;
    margin-left: 5px;
    margin-right: 5px;
    margin-top: 5px;
    margin-bottom: 5px;
    padding: 2px;
    padding-right: 30px;
    font-size: 18pt;
    font-weight: bold;
    }
h3 {
    font-family: "Bitstream Vera Sans", Helvetica, Arial, sans-serif;
	font-size: 16pt;
	font-weight: bold;
	text-align: left;
	color: maroon;
    }
h4 {
    font-family: "Bitstream Vera Sans", Helvetica, Arial, sans-serif;
    font-size: 120%;
    font-weight: bold;
    margin: 2px 10px;
    text-align: center;
    color: blue;
    }
img.nav {
    margin-left: -25px;
    padding-right: 5px;
    }
i {
    color: maroon;
    }
li {
    margin-left: -24px;
    }
pre {
    font-family: "Courier New","courier", monospace;
    font-size: 10pt;
	text-align: left;
	font-weight: bold;
    }
td.blt {
    width: 40px;
    text-align: right;
    }
td.content {
    font-size: 1em;
    background: #fff;
    border: 1px #c2c2c2 solid;
    padding: 6px;
    }
td.leftbar {
    width: 11em;
    font-size: 0.8em;
    padding: 6px;
    }
td.rightbar {
    width: 10em;
    font-size: 0.8em;
    text-align: center;
    padding: 6px;
    }
tr { 
    vertical-align: top;
    }
tr.z0 { 
    background-color: #f8f8ff;
    }
tr.z1 { 
    background-color: #f0f0ff;
    }
tt {
    color: green;
    }
ul {
    margin-top: 2px;
    margin-bottom: 2px;
    }
.bm12 {
    margin-bottom: 12pt;
    }
.bm24 {
    margin-bottom: 24pt;
    }
.bm36 {
    margin-bottom: 36pt;
    }
.bm48 {
    margin-bottom: 48pt;
    }
.bm64 {
    margin-bottom: 64pt;
    }
.box {
    border: double #cccccc;
    padding: 10px;
    }
.byline {
    font-size: 90%;
    text-align: center;
    color: maroon;
    margin: 4px 2px;
    }
.comment {
    color: purple;
    font-style: italic;
    }
.ctr {
    text-align: center;
    }
.curr {
    color: maroon;
    font-weight: bold;
    font-size: .8em;
    background-color: #ffc;
    border: solid black;
    border-width: 0px 0px 1px 0px;
    margin: 0 0 0 20px;
    padding-left: 5px;
    }
.done {
    color: green;
    }
.double {
    border-style: double;
    border-color: green;
    }
.highlight {
    color: maroon;
    }
.instructions td {
    vertical-align: top;
    text-align: left;
    padding: 8px;
    }
.left {
    text-align: left;
    }
.nav {
    font-size: smaller;
    text-align: center;
    color: red;
    }
.nav1 {
    background-color: #e0e0ff;
    font-size: .8em;
    border: solid black;
    border-width: 0px 0px 1px 0px;
    padding-left: 5px;
    margin: 0 0 0 20px;
    }
.nav2 {
    background-color: #f0f0ff;
    font-size: .8em;
    border: solid black;
    border-width: 0px 0px 1px 0px;
    padding-left: 5px;
    margin: 0 0 0 20px;
    }
.new {
    font-weight: bold;
    background-color: #ffffcc;
    border: solid red;
    border-width: 2px 0px 2px 0px;
    padding: 0px;
    color: red;
    }
.next {
    
    background-color: #eee;
    text-align: center;
    border: solid;
    border-style: solid;
    border-width: 1px 2px 2px 1px;
    border-color: #fff #333 #333 #fff;
    padding: 2px;
    font-size: 0.8em;
    text-align: center;
    font-weight: bold;
    }
.note {
    border-style: double;
    border-color: yellow;
    padding: 6px;
    margin: 4px;
    }
.prev {
    
    background-color: #eee;
    text-align: center;
    border-style: solid;
    border-width: 1px 2px 2px 1px;
    border-color: #fff #333 #333 #fff;
    padding: 2px;
    font-size: 0.8em;
    text-align: center;
    font-weight: bold;
    }
.right {
    text-align: right;
    }
.sm {
    font-size: 80%;
    }
.textbox { 
    margin: 5px;
    }
.th {
    text-align: center;
    font-weight: bold;
    }
.tip {
    color: green;
    }
.title {
    font-size: 25pt;
    color: yellow;
    }
.todo {
    color: black;
    }
.topbar {
    background-color: #dddde0;
    background-image: url('tuxseal.75x75.jpg');
    background-repeat:y;
    height: 75px;
    margin: 0px 0px 0px 0px;
    border-style: solid;
    border-color: #fff #333 #333 #fff;
    padding: 0px 0px 0px 0px;
    }