Home | History | Annotate | Download | only in html 
      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 }
    168