body {
    background-color: white;
    color: black;
    text-align: left;
    line-height: 140%;
    margin-top:  3%;
    margin-left: 2em;
    width: 40em;
    font-family: verdana, arial, helvetica, Sans-Serif;
}
h1 {
    text-align:    left;
    font-size:     200%;
    margin-top:    0em;
    margin-bottom: 1em;
    padding-left: 12px;
    border-left: 80px solid #33a;
    line-height: 80px;
}
h2 {
    text-align: left;
    font-size: 130%;
    margin-top: 3em;
    margin-bottom: 1em;
    border-bottom: 2px solid #33a;
}
h3 {
    text-align: left;
    font-size:  120%;
    margin-top: 1em;
    margin-bottom: 0.1em;
    padding-left: 8px;
    border-left: 12px solid #33a;
}
h4 {
    text-align: left;
    font-size:  150%;
    margin-top: 1em;
    margin-bottom: 0.1em;
    padding-left: 8px;
    border-left: 12px solid #33a;
}



/*
h4 {
    text-align: left;
    font-size:  150%;
    margin-top: 1em;
    margin-bottom: 0.1em;
}
*/

h1, h2, h3, h4, h5, h6 {
    font-family: verdana, arial, helvetica, Sans-Serif;
}


div.header p.status { text-align: right; }
div.header p.last-modified { text-align: left; }

/*
li p {
    margin-top: -1ex;
}
*/

/*
dt {
    font-weight: bold;
    margin-top: 2ex;
    margin-left: 1em;
}
*/

th, td {
    font-size: 10.5pt;
    border-right: #646464 1px solid;
    padding-right: 0.2em;
    border-top: #646464 1px solid;
    padding-top: 0.2em;
    border-left: #646464 1px solid;
    padding-left: 0.2em;
    border-bottom: #646464 1px solid;
    padding-bottom: 0.2em;
    margin-left: 1em;
    margin-right: 2em;
    white-space: normal;
    background-color: #e6e6e6;
    color: black;
}


address {
    color: gray;
    background: #EEEEEE;
    text-align: right;
    font-family: Times, serif;
    font-style: normal;
    font-variant: normal;
    font-weight: normal;
}

pre {
    border-right: #646464 1px solid;
    padding-right: 0.5em;
    border-top: #646464 1px solid;
    padding-top: 0.5em;
    border-left: #646464 1px solid;
    padding-left: 0.5em;
    border-bottom: #646464 1px solid;
    padding-bottom: 0.5em;
    margin-left: 1em;
    margin-right: 2em;
    white-space: pre;
    background-color: #e6e6e6;
    color: black;
}

span.download {
    font-weight: normal;
    color: blue;
    background: #EEEEEE;
}

.path {
    font-family: Verdana, Arial, Helvetica, sans-serif;
}

.navi {
    text-align: right;
}

.hotbar {
    color: red;
}

.hilight {
    color: black;
    background: #ffff66;
    font-style: normal;
}

textarea {
    width: 100%;
}

form.search {
    display: inline;
}

a:link, a:visited {
    color: #33a;
    text-decoration: none;
}

a:active, a:visited {
    color: #666;
    text-decoration: none;
}

a:hover, a:focus {
    text-decoration: underline;
}

.inside {
	padding-left: 10px;
}