style.css

   1 .synopsis, .classsynopsis
   2 {
   3   background: #eeeeee;
   4   border: solid 1px #aaaaaa;
   5   padding: 0.5em;
   6 }
   7 .programlisting
   8 {
   9   background: #eeeeff;
  10   border: solid 1px #aaaaff;
  11   padding: 0.5em;
  12 }
  13 .variablelist
  14 {
  15   padding: 4px;
  16   margin-left: 3em;
  17 }
  18 .variablelist td:first-child
  19 {
  20   vertical-align: top;
  21 }
  22
  23 /* this is needed so that the local anchors are displayed below the naviagtion */
  24 @media screen {
  25   sup a.footnote
  26   {
  27     position: relative;
  28     top: 0em ! important;
  29   }
  30   div.refnamediv a[name], div.refsect1 a[name]
  31   {
  32     position: relative;
  33     top: -4.5em;
  34   }
  35   table.navigation#top
  36   {
  37     background: #ffeeee;
  38     border: solid 1px #ffaaaa;
  39     margin-top: 0;
  40     margin-bottom: 0;
  41     position: fixed;
  42     top: 0;
  43     left: 0;
  44     height: 2em;
  45     z-index: 1;
  46   }
  47   .navigation a
  48   {
  49     color: #770000;
  50   }
  51   .navigation a:visited
  52   {
  53     color: #550000;
  54   }
  55   td.shortcuts
  56   {
  57     color: #770000;
  58     font-size: 80%;
  59     white-space: nowrap;
  60   }
  61   div.refentry, div.chapter, div.reference, div.part, div.book, div.glossary, div.sect1, div.appendix, div.preface
  62   {
  63     position: relative;
  64     top: 3em;
  65     z-index: 0;
  66   }
  67   div.glossary, div.index
  68   {
  69     position: relative;
  70     top: 2em;
  71     z-index: 0;
  72   }
  73   div.refnamediv
  74   {
  75     margin-top: 2em;
  76   }
  77   body
  78   {
  79     padding-bottom: 20em;
  80   }
  81 }
  82 @media print {
  83   table.navigation {
  84     visibility: collapse;
  85     display: none;
  86   }
  87   div.titlepage table.navigation {
  88     visibility: visible;
  89     display: table;
  90     background: #ffeeee;
  91     border: solid 1px #ffaaaa;
  92     margin-top: 0;
  93     margin-bottom: 0;
  94     top: 0;
  95     left: 0;
  96     height: 2em;
  97   }
  98 }
  99
 100 .navigation .title
 101 {
 102   font-size: 200%;
 103 }
 104
 105
 106 div.gallery-float
 107 {
 108   float: left;
 109   padding: 10px;
 110 }
 111 div.gallery-float img
 112 {
 113   border-style: none;
 114 }
 115 div.gallery-spacer
 116 {
 117   clear: both;
 118 }
 119 a
 120 {
 121   text-decoration: none;
 122 }
 123 a:hover
 124 {
 125   text-decoration: underline;
 126   color: #FF0000;
 127 }
 128
 129 div.table table
 130 {
 131   border-collapse: collapse;
 132   border-spacing: 0px;
 133   border-style: solid;
 134   border-color: #777777;
 135   border-width: 1px;
 136 }
 137
 138 div.table table td, div.table table th
 139 {
 140   border-style: solid;
 141   border-color: #777777;
 142   border-width: 1px;
 143   padding: 3px;
 144   vertical-align: top;
 145 }
 146
 147 div.table table th
 148 {
 149   background-color: #eeeeee;
 150 }
 151
 152 hr
 153 {
 154   color: #777777;
 155   background: #777777;
 156   border: 0;
 157   height: 1px;
 158   clear: both;
 159 }
 160
 161 .footer
 162 {
 163   padding-top: 3.5em;
 164   color: #777777;
 165   text-align: center;
 166   font-size: 80%;
 167 }