body             { background-color : rgb(153, 102, 51);
                   font-family      : "Arial", Arial, Helvetica;
                   font-size        : 10pt;
                   margin           : 0px;
                   color            : rgb(255, 255, 255); }
body.topbanner   { background-image : url("/img/topbar.gif"); }
table.topleft0   { background-image : url("/img/s_00.png");
                   background-position : top left;
                   background-repeat : no-repeat; }
table.topleft1   { background-image : url("/img/s_01.png");
                   background-position : top left;
                   background-repeat : no-repeat; }
table.topleft2   { background-image : url("/img/s_02.png");
                   background-position : top left;
                   background-repeat : no-repeat; }
table.topleft3   { background-image : url("/img/s_03.png");
                   background-position : top left;
                   background-repeat : no-repeat; }
table.topleft4   { background-image : url("/img/s_04.png");
                   background-position : top left;
                   background-repeat : no-repeat; }
table.topleft5   { background-image : url("/img/s_05.png");
                   background-position : top left;
                   background-repeat : no-repeat; }
table.topleft6   { background-image : url("/img/s_06.png");
                   background-position : top left;
                   background-repeat : no-repeat; }
table.topleft7   { background-image : url("/img/s_07.png");
                   background-position : top left;
                   background-repeat : no-repeat; }
table.topleft8   { background-image : url("/img/s_08.png");
                   background-position : top left;
                   background-repeat : no-repeat; }
td.topright      { background-image : url("/img/topright.png");
                   background-position : top right;
                   background-repeat : no-repeat; }
body.bottomline  { background-image : url("/img/bottombar.gif");
                   font-size        : 6pt; }
table.bottomleft { background-image : url("/img/bottomleft.png");
                   background-position : top left;
                   background-repeat : no-repeat;
                   font-size        : 8pt; }
td.bottomright   { background-image : url("/img/bottomright.png");
                   background-position : top right;
                   background-repeat : no-repeat; }
/* repeat_y was a longstanding typo — fixed to repeat-y */
body.f1,
.fcol.f1         { background-image    : url("/img/f1m.gif");
                   background-position : top left;
                   background-repeat   : repeat-y; }
body.f2,
.fcol.f2         { background-image    : url("/img/f2m.gif");
                   background-position : top left;
                   background-repeat   : repeat-y; }
body.f3,
.fcol.f3         { background-image    : url("/img/f3m.gif");
                   background-position : top left;
                   background-repeat   : repeat-y; }
h1.main          { font-size        : 15pt;
                   color            : rgb(255, 255, 255); }
h2.main          { font-size        : 13pt;
                   color            : rgb(255, 255, 255); }
span.caption     { font-size        : 15pt;
                   color            : rgb(255, 255, 255); }
a:link           { text-decoration  : underline;
                   color            : rgb(255, 255, 153); }
a:active         { text-decoration  : underline;
                   color            : rgb(255, 255, 153); }
a:visited        { text-decoration  : underline;
                   color            : rgb(255, 255, 153); }
table,td,th      { font-family      : "Arial", Arial, Helvetica;
                   font-size        : 10pt;
                   font-weight      : normal;
                   vertical-align   : top;
                   color            : rgb(255, 255, 255); }
table.main       { background-color : rgb(147, 96, 45);
                   border-collapse  : collapse;
                   border-color     : rgb(102, 51, 0);
                   border-width     : 2px;
                   border-style     : solid; }
th.main          { background-color : rgb(136, 85, 34);
                   border-color     : rgb(102, 51, 0);
                   border-width     : 1px;
                   border-style     : solid;
                   font-family      : "Arial", Arial, Helvetica;
                   font-size        : 12pt;
                   font-weight      : bold;
                   color            : rgb(255, 255, 255); }
td.caption    { background-color : rgb(142, 91, 40);
                   border-color     : rgb(102, 51, 0);
                   border-width     : 1px;
                   border-style     : solid;
                   font-family      : "Arial", Arial, Helvetica;
                   font-size        : 7pt;
                   font-weight      : bold;
                   color            : rgb(255, 255, 255); }
td.tree       { background-color : rgb(142, 91, 40);
                   border-color     : rgb(102, 51, 0);
                   border-width     : 1px;
                   border-style     : solid;
                   font-family      : "Arial", Arial, Helvetica;
                   font-size        : 8pt;
                   font-weight      : normal;
                   color            : rgb(255, 255, 255); }
td.main          { background-color : rgb(147, 96, 45);
                   border-color     : rgb(102, 51, 0);
                   border-width     : 1px;
                   border-style     : solid;
                   font-family      : "Arial", Arial, Helvetica;
                   font-size        : 10pt;
                   font-weight      : normal;
                   color            : rgb(255, 255, 255); }
td.img        { background-color : rgb(147, 96, 45);
                   border-color     : rgb(102, 51, 0);
                   border-width     : 1px;
                   border-style     : solid;
                   font-family      : "Arial", Arial, Helvetica;
                   font-size        : 10pt;
                   font-weight      : normal;
                   text-align       : center;
                   vertical-align   : middle;
                   color            : rgb(255, 255, 255); }