DIV.title {background:#DD0000;color:#FFFFFF;
               font-size:200%;font-weight:bold;
               margin:1em 0 0em 0; padding:0.5em;}
    BODY {background:#EEEEEE;color:#003366;font-family:arial,helvetica,sans serif;}
    P.1  {background:#008800;color:#FFFFFF;font-size:180%;font-weight:bold;padding:0.5em;margin:3em 0 1em 0;}
    P.2  {background:#0000AA;color:#FFFFFF;font-size:150%;font-weight:bold;padding:0.1em 0.5em 0.1em 0.1em;margin:2em 0 0.5em 0;}
    P.3  {font-size:150%;font-weight:bold;color:blue;margin:1em 0 0.5em 0;}
    P.4  {font-size:120%;font-style:italic;margin:1em 0 0.5em 0;}
    P.5  {font-size:100%;font-style:italic;color:blue;margin:1em 0 0.5em 0;}
    TT    {color:#8800BB;font-size:100%;}
    TT.bi {color:black;font-style:italic;}
    TT.b  {color:black;font-style:normal;}
    TT.r  {color:#DD0000;font-style:normal;}
    TT.g  {color:#008800;font-style:normal;}
    TT.n  {color:inherited;font-style:italic;}
    CODE  {font-size:100%;}
    B.key {color:#CC0000;}
    B.hi  {color:#0000DD;}
    SPAN.b  {color:blue;}
    SPAN.hi {color:blue;font-style:italic;}
    A.key {color:#DD0000;font-weight:bold;}
    TR   {vertical-align:baseline;}
    TD   {padding-right:0.5em;}
    TD.img {background:#EEEE00;border:solid red 2px;text-align:center;
            padding:0.5em 0.1em 0.5em 0.1em; }
    TD.1 {color:blue;background:88FF88;font-family:sans-serif;}
    TD.3 {background:#FFFFEE;}
    TD.border {border:solid 2px black;padding:1em;font-weight:bold;}
    TD.left {border-left:solid 2px black;}
    TD.bottom {border-bottom:solid 2px black;}
    TD.leftbottom {border-left:solid 2px black;border-bottom:solid 2px black;}
    PRE.syntax {background:#FFFFEE;color:blue; font-size:100%;
                margin:0.5em 1em 0.5em 1em;border:solid 1px green;
                padding:0.5em;font-size:100%;}
    PRE.sample {background:#FFFFEE;color:black; font-size:100%;
                margin:0.5em 1em 0.5em 1em;border:solid 1px black;
                padding:0.5em;font-size:100%;}
    PRE.black {background:#000000;color:white; font-size:100%;
                margin:0.5em 1em 0.5em 1em;border:solid 1px green;
                padding:0.5em 2em 0.5em 0.5em;font-size:100%;}