style-classic.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 @media screen {
  24   sup a.footnote
  25   {
  26     position: relative;
  27     top: 0em ! important;
  28   }
  29   /* this is needed so that the local anchors are displayed below the naviagtion */
  30   div.footnote a[name], div.refnamediv a[name], div.refsect1 a[name], div.refsect2 a[name], div.index a[name], div.glossary a[name], div.sect1 a[name]
  31   {
  32     position: relative;
  33     padding-top:4.5em;
  34   }
  35   /* this seems to be a bug in the xsl style sheets when generating indexes */
  36   div.index div.index
  37   {
  38     top: 0em;
  39   }
  40   /* make space for the fixed navigation bar and add space at the bottom so that
  41    * link targets appear somewhat close to top
  42    */
  43   body
  44   {
  45     padding-top: 3.2em;
  46     padding-bottom: 20em;
  47   }
  48   /* style and size the navigation bar */
  49   table.navigation#top
  50   {
  51     position: fixed;
  52     background: #ffeeee;
  53     border: solid 1px #ffaaaa;
  54     margin-top: 0;
  55     margin-bottom: 0;
  56     top: 0;
  57     left: 0;
  58     height: 3em;
  59     z-index: 10;
  60   }
  61   .navigation a, .navigation a:visited
  62   {
  63     color: #770000;
  64   }
  65   .navigation a:visited
  66   {
  67     color: #550000;
  68   }
  69   td.shortcuts
  70   {
  71     color: #770000;
  72     font-size: 80%;
  73     white-space: nowrap;
  74   }
  75 }
  76 @media print {
  77   table.navigation {
  78     visibility: collapse;
  79     display: none;
  80   }
  81   div.titlepage table.navigation {
  82     visibility: visible;
  83     display: table;
  84     background: #ffeeee;
  85     border: solid 1px #ffaaaa;
  86     margin-top: 0;
  87     margin-bottom: 0;
  88     top: 0;
  89     left: 0;
  90     height: 3em;
  91   }
  92 }
  93
  94 .navigation .title
  95 {
  96   font-size: 200%;
  97 }
  98
  99
 100 div.gallery-float
 101 {
 102   float: left;
 103   padding: 10px;
 104 }
 105 div.gallery-float img
 106 {
 107   border-style: none;
 108 }
 109 div.gallery-spacer
 110 {
 111   clear: both;
 112 }
 113 a
 114 {
 115   text-decoration: none;
 116 }
 117 a:hover
 118 {
 119   text-decoration: underline;
 120   color: #FF0000;
 121 }
 122
 123 div.table table
 124 {
 125   border-collapse: collapse;
 126   border-spacing: 0px;
 127   border: solid 1px #777777;
 128 }
 129
 130 div.table table td, div.table table th
 131 {
 132   border: solid 1px #777777;
 133   padding: 3px;
 134   vertical-align: top;
 135 }
 136
 137 div.table table th
 138 {
 139   background-color: #eeeeee;
 140 }
 141
 142 hr
 143 {
 144   color: #777777;
 145   background: #777777;
 146   border: none 0px;
 147   height: 1px;
 148   clear: both;
 149 }
 150
 151 .footer
 152 {
 153   padding-top: 3.5em;
 154   color: #777777;
 155   text-align: center;
 156   font-size: 80%;
 157 }
 158
 159 .warning
 160 {
 161   border: solid 1px #cccc33;
 162   background: #ffffee;
 163   padding: 0.5em;
 164   border-width: 1px;
 165 }
 166 .warning h3
 167 {
 168   margin-top: 0.0em
 169 }
 170 .warning p
 171 {
 172   margin-bottom: 0.0em
 173 }
 174
 175 /* code listings */
 176
 177 .listing_frame {
 178   border: solid 1px #aaaaff;
 179   padding: 0px;
 180 }
 181
 182 .listing_lines, .listing_code {
 183   margin-top: 0px;
 184   margin-bottom: 0px;
 185   padding: 0.5em;
 186 }
 187 .listing_lines {
 188   background: #aaaaff;
 189   color: #222222;
 190 }
 191 .listing_code {
 192   /* tango:sky blue 0 */
 193   background: #eeeeff;
 194 }
 195 .listing_code .programlisting {
 196   /* override from previous */
 197   border: none 0px;
 198   padding: 0px;
 199 }
 200 .listing_lines pre, .listing_code pre {
 201   margin: 0px;
 202 }
 203