index.css

   1 body            { color: #333333;
   2                   font-size: smaller;
   3                   font-family: Verdana, Tahoma, Arial, sans-serif; }
   4
   5 table.frame     { max-width: 800px;
   6                   padding-left: 10px; }
   7
   8 table           { padding-left: 40px; }
   9
  10 p               { padding-left: 40px;
  11                   text-align: justify; }
  12
  13 h1              { font-weight: bold;
  14                   font-size: small;
  15                   font-family: Verdana, Tahoma, Arial, sans-serif; }
  16
  17 h2              { font-weight: bold;
  18                   font-size: small;
  19                   padding-left: 20px;
  20                   margin-bottom: 0px;
  21                   font-family: Verdana, Tahoma, Arial, sans-serif; }
  22
  23 span.rev        { font-weight: bold; }
  24
  25 span.nm         { color: #000000; font-weight: bold; }
  26
  27 span.attn       { color: #000000; font-weight: bold; }
  28
  29 span.flag       { font-weight: bold; }
  30
  31 div.head        { border-bottom: 1px dotted #cccccc;
  32                   padding-bottom: 5px;
  33                   text-align: right; }
  34
  35 div.foot        { border-top: 1px dotted #cccccc;
  36                   padding-top: 5px;
  37                   font-size: smaller;
  38                   text-align: right; }
  39
  40 a.external      { background: transparent url(external.png) center right no-repeat; padding-right: 12px; }
  41
  42 span.date       { color: #808080; }
  43
  44 col.date        { width: 8em; }