H1, H2, H3, H4 {
        font-weight: bold;
        font-family: verdana,arial,helvetica,sans-serif;
        font-variant: normal;
        font-style: normal;
    }
    H1 {
        font-size: 1.1em;
    }
    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: #770055;
    }
    a {
        color: #99eeff;
        font-family: verdana,arial,helvetica,sans-serif;
    }
    a.toc {
        color: #cceecc;
        font-family: verdana,arial,helvetica,sans-serif;
    }
    a.name {
        color: #cceecc;
        font-family: verdana,arial,helvetica,sans-serif;
    }
    a.text {
        color: #dd0055;
        font-family: verdana,arial,helvetica,sans-serif;
    }
    table.heading {
        border-collapse: separate;
        border-spacing: 5px;
        padding: 5px;
        background-position: 100%;
    }
    table.imgframe {
        border-collapse: separate;
        border-spacing: 10px;
        padding: 10px;
        background-position: 100%;
    }
    td.title {
        background-color:  #777777;
        background-position: 100%;
        padding: 5px;
    }
    td.toc {
        background-color:  #505050;
        background-position: 33%;
        padding: 5px;
    }
    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.inline {
        background-position: 100%;
        padding-right: 5px;
    }
    table.footer {
        border-collapse: separate;
        border-spacing: 5px;
        padding: 5px;
        background-position: 100%;
    }
    td.footer {
        border-style: inset;
        border-collapse: separate;
        border-spacing: 4px;
        border-width: 2px;
        padding: 2px;
        padding-left: 6px;
        padding-right: 6px;
        background-position: 100%;
        background-color:  #554433;
    }
    td.footer_cr {
        border-style: inset;
        border-collapse: separate;
        border-spacing: 4px;
        border-width: 2px;
        padding: 1em;
        background-position: 100%;
        background-color:  #554433;
    }
    a.theme_title {
        color: #cc0088;
        font-family: verdana,arial,helvetica,sans-serif;
    }
    td.theme {
        background-color:  #ccddff;
        color: #440044;
        background-position: 100%;
        padding: 0.5em;
    }
    td.theme_title {
        background-color:  #dededd;
        color: #440044;
        background-position: 100%;
        padding: 0.5em;
    }
    img {
        padding: 10px;
        background-position: left;
        border-style: hidden;
    }