matita/matita/help/C/docbook.css

   1
   2 body {
   3   background: url(../../images/sheetbg.png);
   4 }
   5
   6 ul.authorgroup {
   7   list-style-type: none;
   8   padding-left: 1em;
   9 }
  10
  11 div.titlepage {
  12   background: #eaeaea;
  13 }
  14
  15 div.titlepage hr {
  16   display: none;
  17 }
  18
  19 div.navheader hr {
  20   display: none;
  21 }
  22
  23 div.navfooter hr {
  24   display: none;
  25 }
  26
  27 div.navheader {
  28   padding-left: 150px;
  29   background: #eaeaea;
  30 }
  31
  32 div.navfooter {
  33   background: #eaeaea;
  34 }
  35
  36 div.matita_logo {
  37   position: absolute;
  38   top: 3px;
  39   left: 5px;
  40 }
  41
  42 div.matita_logo img {
  43   border-style: none;
  44 }
  45
  46 div.matita_logo span {
  47   position: absolute;
  48   top: 13px;
  49   left: 65px;
  50   text-decoration: underline;
  51 }
  52
  53 div.figure {
  54   text-align: center;
  55 }
  56