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 div.clhead      { background-color: #E6E6FA; color: #000000; padding: 2px; font-weight: bold; }
  24
  25 div.clbody      { margin-left: 2px; }
  26
  27 ul.clbody       { margin-top: 4px; }
  28
  29 span.rev        { color: #808080; }
  30
  31 span.nm         { color: #000000; font-weight: bold; }
  32
  33 span.attn       { color: #000000; font-weight: bold; }
  34
  35 div.head        { border-bottom: 1px dotted #cccccc;
  36                   padding-bottom: 5px;
  37                   text-align: right; }
  38
  39 div.foot        { border-top: 1px dotted #cccccc;
  40                   padding-top: 5px;
  41                   font-size: smaller;
  42                   text-align: right; }
  43
  44 a.external      { background: transparent url(external.png) center right no-repeat; padding-right: 12px; }