style.css

   1 div.body        { color: #333333;
   2                   max-width: 800px;
   3                   padding-left: 10px;
   4                   font-size: smaller;
   5                   font-family: Verdana, Tahoma, Arial, sans-serif; }
   6 span.sec-head   { font-weight: bold; color: blue; }
   7 span.ssec-head  { font-weight: bold; color: blue; }
   8 span.addr       { text-decoration: underline; }
   9 span.arg        { font-style: italic; }
  10 span.cmd        { font-weight: bold; }
  11 span.config     { font-weight: bold; }
  12 span.diag       { font-weight: bold; }
  13 span.emph       { font-style: italic; }
  14 span.farg       { text-decoration: underline; }
  15 span.fname      { font-style: italic; }
  16 span.file       { font-style: italic; }
  17 span.flag       { font-weight: bold; }
  18 span.includes   { font-weight: bold; }
  19 span.name       { font-weight: bold; }
  20 span.type       { font-style: italic; }
  21 span.utility    { font-weight: bold; }
  22 span.var        { font-weight: bold; }
  23
  24 table.header    { border-bottom: 1px dotted #cccccc; }
  25 table.footer    { border-top: 1px dotted #cccccc; }
  26