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 }
  66 @media print {
  67   table.navigation {
  68     visibility: collapse;
  69     display: none;
  70   }
  71   div.titlepage table.navigation {
  72     visibility: visible;
  73     display: table;
  74     background: #ffeeee;
  75     border: solid 1px #ffaaaa;
  76     margin-top: 0;
  77     margin-bottom: 0;
  78     top: 0;
  79     left: 0;
  80     height: 2em;
  81   }
  82 }
  83
  84 .navigation .title
  85 {
  86   font-size: 200%;
  87 }
  88
  89
  90 div.gallery-float
  91 {
  92   float: left;
  93   padding: 10px;
  94 }
  95 div.gallery-float img
  96 {
  97   border-style: none;
  98 }
  99 div.gallery-spacer
 100 {
 101   clear: both;
 102 }
 103 a
 104 {
 105   text-decoration: none;
 106 }
 107 a:hover
 108 {
 109   text-decoration: underline;
 110   color: #FF0000;
 111 }
 112
 113 div.table table
 114 {
 115   border-collapse: collapse;
 116   border-spacing: 0px;
 117   border-style: solid;
 118   border-color: #777777;
 119   border-width: 1px;
 120 }
 121
 122 div.table table td, div.table table th
 123 {
 124   border-style: solid;
 125   border-color: #777777;
 126   border-width: 1px;
 127   padding: 3px;
 128   vertical-align: top;
 129 }
 130
 131 div.table table th
 132 {
 133   background-color: #eeeeee;
 134 }
 135
 136 hr
 137 {
 138   color: #888;
 139   background: #888;
 140   border: 0;
 141   height: 1px;
 142   clear: both;
 143 }
 144