doc/configuration.css

   1 body {
   2   font-size: 12pt;
   3   background-color: white;
   4   margin: 10px;
   5 }
   6
   7 span.directory {
   8   //text-decoration: underline;
   9 }
  10
  11
  12 span.symlink:after {
  13   content: " [symlink]";
  14   font-size: 8pt;
  15   font-style: normal;
  16 }
  17
  18 span.symlink {
  19   text-decoration: none;
  20   font-style: italic;
  21 }
  22
  23 span.script:after {
  24   content: " [script]";
  25   font-size: 8pt;
  26   font-style: normal;
  27 }
  28
  29 span.script {
  30   color: gray;
  31 }
  32
  33 span.symbolic:before { content: "<"; }
  34 span.symbolic:after  { content: ">"; }
  35
  36 span.symbolic {
  37   font-style: italic;
  38   text-decoration: none;
  39 }
  40
  41 div.description {
  42   background-color: #ffffdd;
  43 }
  44
  45
  46 div.elements {
  47   padding-left: 1em;
  48 }
  49
  50 dd.elements {
  51 }
  52
  53 dt.elements {
  54 }