

    H1, H2, H3, H4 {
        font-weight: bold;
        font-family: verdana,arial,helvetica,sans-serif;
        font-variant: normal;
        font-style: normal;
    }
    H1 {
        font-size: 1.2em;
    }
    H2 {
        font-size: 1.0em;
    }
    H3 {
        font-size: 0.9em;
    }
    H4 {
        font-size: 0.8em;
    }
    BODY {
        font-size: 0.8em;
        font-family: verdana,arial,helvetica,sans-serif;
        color: white;
        background-color: #bb0077;
    }
    a {
        color: #cceeff;
        font-family: verdana,arial,helvetica,sans-serif;
    }
    a.toc {
        color: #cceecc;
        font-family: verdana,arial,helvetica,sans-serif;
    }
    a.name {
        color: #ddbbcc;
        font-family: verdana,arial,helvetica,sans-serif;
    }
    a.text {
        color: #dd0055;
        font-family: verdana,arial,helvetica,sans-serif;
    }
    a.download {
        color: #dd0055;
        font-family: verdana,arial,helvetica,sans-serif;
    }
    table.heading {
        width: 100%;
        border-collapse: separate;
        border-spacing: 5px;
        padding: 5px;
        background-position: 100%;
    }
    table.toc {
        width: 100%;
        border-collapse: separate;
        border-spacing: 5px;
        padding: 0.5em;
        background-position: 100%;
        background-color:  #444444;
        border: 2px white;
    }
    table.imgframe {
        width: 100%;
        border-collapse: separate;
        border-spacing: 10px;
        padding: 10px;
        background-position: 100%;
    }
    td.title {
        background-color: #555555;
        background-position: 100%;
        padding: 0.5em;
    }
    td.toc {
        background-color:  #4c4c4c;
        padding: 0.5em;
    }
    td.text {
        background-color:  #dddddd;
        color: #440044;
        background-position: 100%;
        padding: 0.5em;
    }
    td.example {
        background-color:  white;
        color: black;
        background-position: 100%;
        padding: 0.5em;
    }
    td.navigator {
        background-color: #555555;
        background-position: 50%;
        padding: 0.5em;
    }
    td.map {
        background-color:  #000000;
        background-position: 100%;
        padding: 0px;
        padding-top: 0.5em;
        padding-bottom: 0.5em;
    }
    img {
        padding: 10px;
        background-position: left;
        border-style: hidden;
    }

