docs/generic.css

   1
   2 body {
   3   margin: 0em;
   4   padding: 0px;
   5   color: rgb(0,0,0);
   6   font-family: Verdana, Arial, Helvetica, sans-serif;
   7   font-size: 80%;
   8   background: #ffffff;
   9 }
  10
  11 p, ul, ol, dl {
  12   padding: 0px;
  13   margin: 0px;
  14 }
  15
  16 ol,ul {
  17   margin-left: 3em;
  18 }
  19
  20 ol,ul,dl,p {
  21   margin-top: 1em;
  22   margin-bottom: 1em;
  23 }
  24
  25 p:first-line {
  26   margin-right: 1em;
  27 }
  28
  29 div.body p:first-letter {
  30   font-size: 1.2em;
  31   font-weight: bold;
  32 }
  33
  34 h1,h2,h3,h4,h5,h6 {
  35   font-weight: bold;
  36   margin: 0px;
  37   padding: 0px;
  38   margin-top: 0.5em;
  39 }
  40
  41 div.footer {
  42   margin-top: 1em;
  43 }
  44
  45 h1 {
  46   font-size: 2em;
  47 }
  48 h2 {
  49   font-size: 1.6em;
  50 }
  51 h3 {
  52   font-size: 1.4em;
  53 }
  54 h4 {
  55   font-size: 1.2em;
  56 }
  57 h5 {
  58   font-size: 1em;
  59 }
  60 h6 {
  61   font-size: 0.8em;
  62 }
  63
  64 dl dt {
  65   margin-left: 1em;
  66   margin-right: 2em;
  67   font-weight: bold;
  68   font-size: larger;
  69 }
  70
  71 dl dd {
  72   margin-left: 2em;
  73   margin-right: 2em;
  74   margin-bottom: 0.5em;
  75 }