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   div.refnamediv a[name], div.refsect1 a[name]
  26   {
  27     position: relative;
  28     top: -4.5em;
  29   }
  30   table.navigation#top
  31   {
  32     background: #ffeeee;
  33     border: solid 1px #ffaaaa;
  34     margin-top: 0;
  35     margin-bottom: 0;
  36     position: fixed;
  37     top: 0;
  38     left: 0;
  39     height: 2em;
  40     z-index: 1;
  41   }
  42   .navigation a
  43   {
  44     color: #770000;
  45   }
  46   .navigation a:visited
  47   {
  48     color: #550000;
  49   }
  50   td.shortcuts
  51   {
  52     color: #770000;
  53     font-size: 80%;
  54   }
  55   div.refentry, div.chapter, div.reference, div.part, div.book, div.index, div.glossary, div.sect1, div.appendix, div.preface
  56   {
  57     position: relative;
  58     top: 3em;
  59     z-index: 0;
  60   }
  61   div.refnamediv
  62   {
  63     margin-top: 2em;
  64   }
  65   body
  66   {
  67     padding-bottom: 20em;
  68   }
  69 }
  70 @media print {
  71   table.navigation {
  72     visibility: collapse;
  73     display: none;
  74   }
  75   div.titlepage table.navigation {
  76     visibility: visible;
  77     display: table;
  78     background: #ffeeee;
  79     border: solid 1px #ffaaaa;
  80     margin-top: 0;
  81     margin-bottom: 0;
  82     top: 0;
  83     left: 0;
  84     height: 2em;
  85   }
  86 }
  87
  88 .navigation .title
  89 {
  90   font-size: 200%;
  91 }
  92
  93
  94 div.gallery-float
  95 {
  96   float: left;
  97   padding: 10px;
  98 }
  99 div.gallery-float img
 100 {
 101   border-style: none;
 102 }
 103 div.gallery-spacer
 104 {
 105   clear: both;
 106 }
 107 a
 108 {
 109   text-decoration: none;
 110 }
 111 a:hover
 112 {
 113   text-decoration: underline;
 114   color: #FF0000;
 115 }
 116
 117 div.table table
 118 {
 119   border-collapse: collapse;
 120   border-spacing: 0px;
 121   border-style: solid;
 122   border-color: #777777;
 123   border-width: 1px;
 124 }
 125
 126 div.table table td, div.table table th
 127 {
 128   border-style: solid;
 129   border-color: #777777;
 130   border-width: 1px;
 131   padding: 3px;
 132   vertical-align: top;
 133 }
 134
 135 div.table table th
 136 {
 137   background-color: #eeeeee;
 138 }
 139
 140 hr
 141 {
 142   color: #888;
 143   background: #888;
 144   border: 0;
 145   height: 1px;
 146   clear: both;
 147 }
 148