doc/manual/style-multi.css

   1 .header {
   2     background-color: #F2F2F2;
   3     font-size: small;
   4     padding: 0.2em 1em;
   5 }
   6
   7 .menu * {
   8     border-style: none;
   9 }
  10
  11 .menu td {
  12     padding: 0.5em 0em;
  13 }
  14
  15 .menu td:last-child {
  16     width: 60%;
  17 }
  18
  19 .menu th {
  20     background-color: inherit;
  21 }