doc/manual/style-single.css

   1   .node { visibility:hidden; height: 0px; }
   2   .menu { visibility:hidden; height: 0px; }
   3   .chapter { background-color:#d0e4fe; }
   4   .section { background-color:#d0e4fe; }
   5   .subsection { background-color:#d0e4fe; }
   6   .settitle { background-color:#d0e4fe; }
   7   .contents { border: 2px solid black;
   8               margin: 1cm 1cm 1cm 1cm;
   9               padding-left: 3mm; }
  10   body { padding-left: 3mm; }