body {
    font-family: 'Times New Roman', Times;
    width: 892px;
    margin: 4px;
}



a {
    color: #333333;
}



h1 {
    font-family: 'Times New Roman', Times;
    font-size: xx-large;
    font-weight: bold;
    text-align: center;
}



h2 {
    font-family: 'Times New Roman', Times;
    font-size: large;
    font-weight: bold;
    text-align: left;
    color: #666666;
    background-color: #BDDEF7;
    border: 1px solid #6060B0;
    padding: 0.25em;
    margin-top: 3em;
}



p {
    font-family: 'Times New Roman', Times;
    font-size: medium;
    font-weight: normal;
    line-hight: 100%;
    text-align: justify;
}



p#status {
    font-size: x-small;
    text-align: right;
}


span.comment {
    font-family: 'Times New Roman', Times;
    font-style: italic;
}


div.index {
    text-align: left;
}

div.index p {
    margin-bottom:-1em;
}

div.index a {
    text-decoration: none;
}



div.coding {
    text-align: left;
    font-family: 'Courier New', Courier;
    background-color: lightgrey;
    margin-left: 1cm;
    margin-right: 1cm;
    margin-top: 2em;
    margin-bottom: 2em;
    padding-left: 0.25cm;
    /*width: 53em;*/
}

div.coding p {
    font-family: 'Courier New', Courier;
    margin-bottom:-0.8em;
    white-space: pre;
}

span.coding {
    font-family: 'Courier';
}



div.remark {
    text-align: justify;
    background-color: #F7F7CE;
    margin-left: 1cm;
    margin-right: 1cm;
    margin-top: 2em;
    margin-bottom: 2em;
    padding-left: 0.25cm;
    padding-right: 0.25cm;
}



li {
    margin-bottom: 3em;
}

li p {
    margin-bottom: -1em;
}