doc/source/styles_html.css

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