html {
    overflow-y: scroll;
}

body {
    font-family: Arial, Helvetica;
}

h1 {
    margin-top:5px;
}

h2 {
    margin-top:1.3em;
}

h1 {
    font-size:20px; color: rgb(214,143,2); /*rgb(227,105,36);*/
}

h2, h3, h4 {
    color: rgb(51,90,157);
}

h3 {
    font-style:italic;
}

pre {
    background-color: rgb(234,238,246);
}

h2, h3, h4, p, ul, ol, th, td, input, pre {
    font-size:12px;
}

p, br, ul p-implied, ol p-implied {
    margin-top:0pt; margin-bottom:4pt;
}

dfn {
    font-style: normal;
}

s, u {
    color: rgb(255,221,127);
}

ol, ul {
    margin-top:0pt; margin-bottom:0pt; margin-right:0pt; padding-left:0pt;
}

ol, ul, ul ul {
    margin-left:14px;
}

ul {
    list-style-type: none; margin-left:0pt;
}

ul li, ol ul li { 
    background-image: url(bullet1.png); background-repeat: no-repeat; background-position: left 0px; padding-left: 12pt;
}

ul ul li { 
    background-image: url(bullet2.png);
}
ol {
    margin-left:20px;
}

ol li {
    padding-left:0px;
}

li {
    margin-top:0pt; margin-bottom:3pt;
}

table {
    table-layout: fixed; width: 100%; border-collapse: collapse;
}

th, .label {
    color: rgb(51,90,157); text-align: left;
}

th, td {
    border-collapse: collapse;
}

.warning, .info {
    margin-top: 1em;
    margin-bottom: 1em;
    background-repeat: no-repeat;
    background-position: 1em 1em;
    padding-top: 18pt;
    padding-bottom: 18pt;
    padding-left: 60pt;
    padding-right: 18pt;
    padding-bottom: 1em;
    border-radius: 1em;
}

.warning {
    background-image: url(error);
    background-color:#FBEDBB;
}

.info {
    background-image: url(info);
    background-color:#FBEDBB;
}

.comment {
    margin-top: 1em;
    background-color: #FBEDBB;
    padding-top:1em;
    padding-bottom:1em;
    padding-left:1em;
}

div#outsideTree {
    margin-top:10px;
    padding-top:65px;
    padding-left:20px;
    background: url(logo.gif) no-repeat;
}