body {
    font-family: arial, helvetica, sans-serif;
    font-size: 62.5%;
    text-align: center;
}

div#content {
    background-color: #FFFFFF;
    width: 780px;
    _width: 840px;
    margin-left: auto;
    margin-right: auto;
    margin-top: 15px;
    margin-bottom: 15px;
    padding: 0px 30px 20px 30px;
    border: 1px solid #AFAFAF;
    line-height: 1.4;
    font-size: 1.4em;
    text-align: left;
}

#postamble {
    background-color: #FFFFFF;
    width: 780px;
    _width: 840px;
    margin-left: auto;
    margin-right: auto;
    padding: 0px 30px 0px 30px;
    font-size: 1.2em;
    text-align: left;
}

p {
    font-weight: normal;
    color: #000000;
    margin-top: 20px;
    margin-bottom: 10px;
}


li {
    font-weight: normal;
    color: #000000;
    margin-top: 0px;
    margin-bottom: 10px;
}

pre, code {
    font-family: "courier new", "liberation mono", monospace;
    line-height: 1.0;
    font-size: 1.143em;
}

pre {
    padding: 7px 7px 7px 7px;
    line-height: 1.2
}

code {
    color: #005070;
}

p i {
    color: #AF3000;
}

h1.title {
    font-weight: normal;
    color: #005070;
    font-size: 2.8em;
    margin-top: 15px;
    margin-bottom: 10px;
    padding-top: 15px;
    padding-bottom: 15px;
}

h2 {
    font-weight: normal;
    color: #000000;
    font-size: 1.6em;
    margin-top: 10px;
    margin-bottom: 20px;
}

h3 {
    font-weight: normal;
    color: #000000;
    font-size: 1.5em;
    margin-top: 10px;
    margin-bottom: 10px;
}

h4 {
    font-weight: normal;
    color: #000000;
    font-size: 1.4em;
    margin-top: 10px;
    margin-bottom: 10px;
}

h5 {
    font-weight: normal;
    color: #000000;
    font-size: 1.3em;
    margin-top: 10px;
    margin-bottom: 10px;
}

#table-of-contents {
    border: 1px solid #AFAFAF;
    border-left-style: none;
    border-right-style: none;
    padding: 5px 0 20px 0;
    margin-top: 0px;
    margin-bottom: 10px;
}

img {
    vertical-align: middle;
}

img.block {
    display: block;
    margin-left: auto;
    margin-right: auto;
    text-align: center;
}

.task_list {
    border: 1pt solid #A0A000;
    background-color: #FFFFF9;
    margin: 0 0 1.4em 3em;
    padding: 7px 7px 0 7px;
}

.task_list_content {
    font-size: 0.857em;
}

.task_list_content li {
    margin-bottom: 7px;
}

.notes {
    font-size: 0.857em;
    /*border: 1pt solid #A0A000;*/
    /*background-color: #F9F9F9;*/
    margin: 0 0 1.4em 3em;
    padding: 0px 7px 0px 7px;
}