doc/source/styles_html.css

   1 /************************************************************************/
   2 /* Custom style-sheet stuff for the documentation in                    */
   3 /* single and multi page HTML format                                    */
   4 /*                                                                      */
   5 /* Overrides Definitions in styles_chm.css                              */
   6 /************************************************************************/
   7
   8 @import url("styles_chm.css");
   9
  10 /* Generic tag-level style definitions */
  11
  12 /* Override the tigris.org bodycol style */
  13 #bodycol {
  14         padding-left: 0px;
  15         padding-right: 0px;
  16 }
  17
  18 /* Don't override these styles, because they interfere with standard tigris.org styles and munge the appearance of the website.
  19 H1, H2, H3 H4
  20 P,LI,UL,OL,DD,DT,TD
  21 */
  22
  23 p a, p a:hover {
  24   margin-left: 5px;
  25   padding-left: 10px;
  26   background-image: url("images/link.png");
  27   background-repeat: no-repeat;
  28   background-position: center left;
  29 }
  30
  31 /* Don't display indexterms */
  32 .indexterm {
  33   margin: 0;
  34   padding: 0;
  35   display: inline;
  36   background-image: none;
  37 }
  38
  39 .caution, .important, .note, .tip, .warning {
  40         background-repeat: no-repeat;
  41         background-position: 5px 1.33em;
  42         padding: 0 0 0 42px;
  43         min-height: 52px;
  44         width: 80%;
  45 }
  46
  47 .tip {
  48         background-image: url(images/tip.png);
  49 }
  50
  51 .important {
  52         background-image: url(images/important.png);
  53 }
  54
  55 .caution {
  56         background-image: url(images/caution.png);
  57 }
  58
  59 .warning {
  60         background-image: url(images/warning.png);
  61 }
  62
  63 div.navheader {
  64         width:100%; filter:none;
  65         background-repeat: no-repeat;
  66         background-image: url(images/Tortoise.png);
  67         background-position: 50px 0;
  68 }
  69