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 a.man           { text-decoration: none;
  35                   border-bottom: 1px dotted #999999; }
  36
  37 span.path       { color: #000000; }
  38
  39 span.nm         { color: #000000; font-weight: bold; }
  40
  41 span.attn       { color: #000000; font-weight: bold; }
  42
  43 span.fl         { font-weight: bold; }
  44
  45 span.ar         { text-decoration: underline; }
  46
  47 div.head        { border-bottom: 1px dotted #cccccc;
  48                   padding-bottom: 5px;
  49                   text-align: right; }
  50
  51 div.foot        { border-top: 1px dotted #cccccc;
  52                   padding-top: 5px;
  53                   font-size: smaller;
  54                   text-align: right; }
  55
  56 a.external      { background: transparent url(external.png) center right no-repeat; padding-right: 12px; }
  57