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   }
  60   div.refentry, div.chapter, div.reference, div.part, div.book, div.index, div.glossary, div.sect1, div.appendix, div.preface
  61   {
  62     position: relative;
  63     top: 3em;
  64     z-index: 0;
  65   }
  66   div.refnamediv
  67   {
  68     margin-top: 2em;
  69   }
  70   body
  71   {
  72     padding-bottom: 20em;
  73   }
  74 }
  75 @media print {
  76   table.navigation {
  77     visibility: collapse;
  78     display: none;
  79   }
  80   div.titlepage table.navigation {
  81     visibility: visible;
  82     display: table;
  83     background: #ffeeee;
  84     border: solid 1px #ffaaaa;
  85     margin-top: 0;
  86     margin-bottom: 0;
  87     top: 0;
  88     left: 0;
  89     height: 2em;
  90   }
  91 }
  92
  93 .navigation .title
  94 {
  95   font-size: 200%;
  96 }
  97
  98
  99 div.gallery-float
 100 {
 101   float: left;
 102   padding: 10px;
 103 }
 104 div.gallery-float img
 105 {
 106   border-style: none;
 107 }
 108 div.gallery-spacer
 109 {
 110   clear: both;
 111 }
 112 a
 113 {
 114   text-decoration: none;
 115 }
 116 a:hover
 117 {
 118   text-decoration: underline;
 119   color: #FF0000;
 120 }
 121
 122 div.table table
 123 {
 124   border-collapse: collapse;
 125   border-spacing: 0px;
 126   border-style: solid;
 127   border-color: #777777;
 128   border-width: 1px;
 129 }
 130
 131 div.table table td, div.table table th
 132 {
 133   border-style: solid;
 134   border-color: #777777;
 135   border-width: 1px;
 136   padding: 3px;
 137   vertical-align: top;
 138 }
 139
 140 div.table table th
 141 {
 142   background-color: #eeeeee;
 143 }
 144
 145 hr
 146 {
 147   color: #777777;
 148   background: #777777;
 149   border: 0;
 150   height: 1px;
 151   clear: both;
 152 }
 153
 154 .footer
 155 {
 156   padding-top: 3.5em;
 157   color: #777777;
 158   text-align: center;
 159   font-size: 80%;
 160 }