index.css

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