@charset "UTF-8";

a:link {
    text-decoration: none;
    color: #000080;
}

a:visited {
    text-decoration: none;
    color: #778899;
}

a:active {
    text-decoration: none;
    color: #D2691E;
}

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

body {
    font-family: Verdana, sans-serif;
    font-size: 10.5pt;
    line-height: 140%;
    background-color: #ffffff;
    color: #111;
    margin: 1.8em 2.4em;
}

p, form {
    padding: 0.1em;
    margin: 1.2em;
    margin-left: 3.2em;
}

li {
    padding: 0.1em;
}


h1, h2, h3, h4 {
    padding: 2px;
}

h1 {
    font-size: 145%;
    margin: 0.2em;
    margin-left: 0.5em;
    margin-bottom: 1.6em;
    color: black;
}

h2 {
    font-size: 120%;
    margin: 0.2em;
    margin-left: 1.2em;
    border-color: #ADD8E6;
    border-width: 0px 0px 1px 0px;
    border-style: dashed;
    color: black;
}

h3 {
    font-size: 108%;
    margin: 0.2em 0.1em 0.2em 0.8em;
    margin-left: 2em;
    border-style: none;
    border-color: #99cccc;
    border-width: 0px 0px 1px 0px;
    color: black;
}

pre {
    white-space: pre;
    margin: 1.2em;
    padding: 0.6em;
    margin-left: 3.8em;
    line-height: 115%;
    border-width: 1px;
    border-style: solid;
    border-color: #ddd;
    overflow: auto;
    background-color: #F5F5DC;
}

ul {
    margin-left: 2.8em;
}

ul ul {
    margin-left: 0.5em;
}