body {font-family: "Times New Roman", times, serif; font-size: 100%; background-color: #ffffff; color: black; margin: 0 }
div.top {background-color: #50a0c0}
div.top td {font-family: "Trebuchet MS", "lucida sans", helvetica, sans-serif}
div.top a {color: #ffff80 }
div.top { text-shadow: #102010 2px 2px 2px}
div.top table tr td {padding: 10px}
p {max-width: 80ex}
a {text-decoration: none; color: #000080; font-weight: bold}
a.email {font-family: System, helvetica, sans-serif}
h1 {font-size: 300%; font-family: "Trebuchet MS", "lucida sans", helvetica, Arial, sans-serif; color: #508050}
div.top h1 { color: #ffffff }
div.top h4 { color: #ffffff; font-family: "Trebuchet MS", helvetica, sans-serif }
h2 {font-size: 150%; font-family: "Trebuchet MS", helvetica, sans-serif; color: #508050}
span.ampm {font-variant: small-caps}
span.name {font-size: 150%; font-weight: bold; font-family: "Trebuchet MS", helvetica, sans-serif; color: #508050}

table.twocolumn tr td { padding: 0} 
td#description { min-width: 60ex; max-width: 100ex }

div#body { max-width: 1200px; margin: 0 auto }
div.download { margin: 0 0 0 20px; padding-top:5; padding-bottom: 5;
    padding-left: 10; padding-right: 10; background-color: #d8e8ee; border:
    solid 1px #004}
span.hideshow { float: right; text-align: right; cursor: pointer; color: #000080;
                font-size: 80%}
li.hidden_version { display: none; list-style-type: disc }
li { max-width: 80ex }

div.documentation { margin: 5px; padding-bottom: 5;  padding-left: 10;
padding-right: 10; background-color: #e0e8ee; border-style: outset;
border-width: 2; width: 50%}


tr.projects { border-style: solid; border-width: 1; border-color: black }

body.download {margin: 0; padding: 0}
div.inset { padding: 10 }
div.content { margin: 0; padding: 0 }
div.main { margin: 0; padding: 2em }
p.explanation { width: 80ex; padding: 25px}
td.question {vertical-align: top; text-align: right; font-weight: bold }
form.questionnaire {padding: 25px}
form.download {margin: -2 -2 0 -2; display: inline}
form.download input {margin: -6 -4 0 -4; padding: 0}
input.download {
    border-style: none;
    background-color: transparent;
    color: #000080;
    font-weight: bold;
    font-family: "Times New Roman", times, serif;
    font-size: 100%;
    cursor: pointer;
    padding-right: 1ex;
}
div.content h1 {
   color: white; background-color: #50a0c0;
   text-shadow: #102010 2px 2px 2px;
   vertical-align: top;
   margin: 0; padding: 15px}

div.projects { font-size: 90% }
div.projects a { font-size: 90% }

img.logo {}
span.title {white-space: nowrap}

form.questionnaire {
    padding: 2ex;
    border-style: solid;
    border-width: 1px;
    border-color: #bbb;
    background-color: #eee;
}

h1 span.title { vertical-align: top }

span.download_button {
    background-color: blue;
    color: white;
    border-style: solid;
    border-color: black;
    font-family: sans-serif;
    font-weight: bold;
    padding: 1ex;
}

div.acks { font-size: 90% }
p.acks { max-width: 100%; margin: 0.5em 1em  }
div#treefig img {background-color: #ffe; border: 1px solid black}
div#treefig { float: right; display: table-cell }