body 
     { 
       background-color:rgb(253,248,254); 
       font-size: 12;
     }

a:link { color:rgb(102, 102, 102); }
a:visited { color:rgb(76, 76, 76); }
a:active { color:rgb(102, 102, 102); }


body,dt,dd,p,h1,h2,h3,h4,ul,ol,li,div,td,th,address,blockquote,nobr,b,i, input
     { font-family:Arial,helvetica,sans-serif; }

h1
     { font-size: 18; }
h2
     { font-size: 16; }
h3
     { font-size: 15; }
h4
     { font-size: 13; }

table.bugform
     {
       background-color: #bbbbbb;
       border-style: none;
       margin: 10;
     }

td,p
     { font-size: 12; }

td.dark
     {
       background-color:rgb(179, 198, 204);
     }
td.light
     {
       background-color:rgb(243,246,247);
     }

td.bugform
     { font-size: 10 }
span.annotation 
     { 
       font-size=9;  
       margin-left: 15;
     }

dt
     { 
       font-size: 12;
       font-weight: bold;
       line-height: 16pt; 
       margin-left: 15;
     }

dd
     { 
       font-size: 12; 
       line-height: 12pt; 
       margin-left: 25;
     }

dd.citation
     { 
       font-size: 11; 
       line-height: 13pt; 
       margin-left: 25;
     }
pre
     {
       background-color:rgb(243,246,247); 
     }

pre.changelog
     {
       padding-top:1mm;
       padding-bottom:1mm;
       margin-top:1mm;
       margin-bottom:1mm;
       background-color:rgb(231,237,239); 
     }


td.md 
     {
       background-color:rgb(179, 198, 204);
     }