style.css

   1 body            { color: #333333;
   2                   font-size: smaller;
   3                   font-family: Verdana, Tahoma, Arial, sans-serif; }
   4
   5 p               { margin-left: 40px;
   6                   text-align: justify; }
   7
   8 table           { margin-left: 40px; }
   9
  10 ul              { margin-left: 40px; }
  11
  12 p.boxed         { border: 1px solid #cccccc;
  13                   margin-left: 40px;
  14                   text-align: justify;
  15                   padding: 2px;
  16                   color: black; }
  17
  18 h1              { font-weight: bold;
  19                   font-size: small;
  20                   font-family: Verdana, Tahoma, Arial, sans-serif; }
  21
  22 h2              { font-weight: bold;
  23                   font-size: small;
  24                   margin-left: 20px;
  25                   margin-bottom: 0px;
  26                   font-family: Verdana, Tahoma, Arial, sans-serif; }
  27
  28 h3              { font-size: small;
  29                   font-weight: normal;
  30                   margin-left: 20px;
  31                   margin-bottom: 0px;
  32                   font-family: Verdana, Tahoma, Arial, sans-serif; }
  33
  34 span.man        { color: #000000; border-bottom: 1px dotted #999999; }
  35
  36 span.path       { color: #000000; }
  37
  38 span.nm         { color: #000000; font-weight: bold; }
  39
  40 span.attn       { color: #000000; font-weight: bold; }
  41
  42 div.head        { border-bottom: 1px dotted #cccccc;
  43                   padding-bottom: 5px;
  44                   text-align: right; }
  45
  46 div.foot        { border-top: 1px dotted #cccccc;
  47                   padding-top: 5px;
  48                   font-size: smaller;
  49                   text-align: right; }
  50
  51 a.external      { background: transparent url(external.png) center right no-repeat; padding-right: 12px; }
  52