BODY {
    background-color: white;
}


H1 {
    font-size: 150%;
    border-style: solid;
    border-width: 0px 3px 3px 0px;
    border-color: blue;
    background-color: #99ccff;
    padding: 1px 4px;
}


H2 {
    font-size: 120%;
    border-style: solid;
    border-width: 0px 0px 2px 14px;
    background-color: #ccffff;
    border-color: #0099ff;
    padding: 1px 8px;
}


PRE {
    white-space: pre;
}


#title {
/*    font-size: 150%;*/
    border-style: solid;
    border-width: 0px 3px 3px 0px;
    border-color: blue;
    background-color: #99ccff;
    padding: 1px 4px;
}

TABLE.index_table {
    background-color: #eeffee;
    border-color: cyan;
    float: right;
}