index.css

   1 html            { min-width: 40em;
   2                   margin-top: 2em;
   3                   margin-left: auto;
   4                   margin-right: auto;
   5                   width: 80%; }
   6
   7 body            { text-align: justify;
   8                   font-family: Helvetica,Arial,sans-serif;
   9                   line-height: 120%;
  10                   font-size: small; }
  11
  12 p,ul,table      { margin-left: 3em; }
  13
  14 p.head, p.foot  { margin-left: 0.0em; margin-right: 0.0em; }
  15
  16 p.news          { margin-left: 2.0em; }
  17
  18 li              { margin: 0.25em; }
  19
  20 h1              { font-size: 110%; }
  21 h2              { font-size: 105%; margin-left: 1.5em }
  22
  23 p.head          { margin-bottom: 1.75em;
  24                   border-bottom: 1px solid #dddddd;
  25                   padding-bottom: 0.2em; }
  26
  27 p.foot          { border-top: 1px solid #dddddd;
  28                   color: #666666;
  29                   padding-top: 0.2em;
  30                   margin-top: 1.75em; }
  31
  32 span.nm         { color: green; }
  33
  34 span.file       { font-style: italic; }
  35
  36 span.attn       { font-weight: bold; }
  37
  38 span.flag       { font-weight: bold; }
  39
  40 a               { text-decoration: none; }
  41
  42 a.external      { background: transparent url(external.png) center right no-repeat;
  43                   padding-right: 12px; }