style.css

   1 .synopsis, .classsynopsis
   2 {
   3   /* tango:aluminium 1/2 */
   4   background: #eeeeec;
   5   border: solid 1px #d3d7cf;
   6   padding: 0.5em;
   7 }
   8 .programlisting
   9 {
  10   /* tango:sky blue 0/1 */
  11   background: #e6f3ff;
  12   border: solid 1px #729fcf;
  13   padding: 0.5em;
  14 }
  15 .variablelist
  16 {
  17   padding: 4px;
  18   margin-left: 3em;
  19 }
  20 .variablelist td:first-child
  21 {
  22   vertical-align: top;
  23 }
  24
  25 @media screen {
  26   sup a.footnote
  27   {
  28     position: relative;
  29     top: 0em ! important;
  30
  31   }
  32   /* this is needed so that the local anchors are displayed below the naviagtion */
  33   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]
  34   {
  35     display: inline-block;
  36     position: relative;
  37     top:-5em;
  38   }
  39   /* this seems to be a bug in the xsl style sheets when generating indexes */
  40   div.index div.index
  41   {
  42     top: 0em;
  43   }
  44   /* make space for the fixed navigation bar and add space at the bottom so that
  45    * link targets appear somewhat close to top
  46    */
  47   body
  48   {
  49     padding-top: 3.2em;
  50     padding-bottom: 20em;
  51   }
  52   /* style and size the navigation bar */
  53   table.navigation#top
  54   {
  55     position: fixed;
  56     /* tango:scarlet red 0/1 */
  57     background: #ffe6e6;
  58     border: solid 1px #ef2929;
  59     margin-top: 0;
  60     margin-bottom: 0;
  61     top: 0;
  62     left: 0;
  63     height: 3em;
  64     z-index: 10;
  65   }
  66   .navigation a, .navigation a:visited
  67   {
  68     /* tango:scarlet red 3 */
  69     color: #a40000;
  70   }
  71   .navigation a:hover
  72   {
  73     /* tango:scarlet red 1 */
  74     color: #ef2929;
  75   }
  76   td.shortcuts
  77   {
  78     /* tango:scarlet red 1 */
  79     color: #ef2929;
  80     font-size: 80%;
  81     white-space: nowrap;
  82   }
  83 }
  84 @media print {
  85   table.navigation {
  86     visibility: collapse;
  87     display: none;
  88   }
  89   div.titlepage table.navigation {
  90     visibility: visible;
  91     display: table;
  92     /* tango:scarlet red 0/1 */
  93     background: #ffe6e6;
  94     border: solid 1px #ef2929;
  95     margin-top: 0;
  96     margin-bottom: 0;
  97     top: 0;
  98     left: 0;
  99     height: 3em;
 100   }
 101 }
 102
 103 .navigation .title
 104 {
 105   font-size: 200%;
 106 }
 107
 108 div.gallery-float
 109 {
 110   float: left;
 111   padding: 10px;
 112 }
 113 div.gallery-float img
 114 {
 115   border-style: none;
 116 }
 117 div.gallery-spacer
 118 {
 119   clear: both;
 120 }
 121
 122 a, a:visited
 123 {
 124   text-decoration: none;
 125   /* tango:sky blue 2 */
 126   color: #3465a4;
 127 }
 128 a:hover
 129 {
 130   text-decoration: underline;
 131   /* tango:sky blue 1 */
 132   color: #729fcf;
 133 }
 134
 135 div.table table
 136 {
 137   border-collapse: collapse;
 138   border-spacing: 0px;
 139   /* tango:aluminium 3 */
 140   border: solid 1px #babdb6;
 141 }
 142
 143 div.table table td, div.table table th
 144 {
 145   /* tango:aluminium 3 */
 146   border: solid 1px #babdb6;
 147   padding: 3px;
 148   vertical-align: top;
 149 }
 150
 151 div.table table th
 152 {
 153   /* tango:aluminium 2 */
 154   background-color: #d3d7cf;
 155 }
 156
 157 hr
 158 {
 159   /* tango:aluminium 3 */
 160   color: #babdb6;
 161   background: #babdb6;
 162   border: none 0px;
 163   height: 1px;
 164   clear: both;
 165 }
 166
 167 .footer
 168 {
 169   padding-top: 3.5em;
 170   /* tango:aluminium 3 */
 171   color: #babdb6;
 172   text-align: center;
 173   font-size: 80%;
 174 }
 175
 176 .warning
 177 {
 178   /* tango:orange 0/1 */
 179   background: #ffeed9;
 180   border-color: #ffb04f;
 181 }
 182 .note
 183 {
 184   /* tango:chameleon 0/0.5 */
 185   background: #d8ffb2;
 186   border-color: #abf562;
 187 }
 188 .note, .warning
 189 {
 190   padding: 0.5em;
 191   border-width: 1px;
 192   border-style: solid;
 193 }
 194 .note h3, .warning h3
 195 {
 196   margin-top: 0.0em
 197 }
 198 .note p, .warning p
 199 {
 200   margin-bottom: 0.0em
 201 }
 202
 203 /* blob links */
 204 h2 .extralinks, h3 .extralinks
 205 {
 206   float: right;
 207   /* tango:aluminium 3 */
 208   color: #babdb6;
 209   font-size: 80%;
 210   font-weight: normal;
 211 }
 212
 213 .annotation
 214 {
 215   /* tango:aluminium 5 */
 216   color: #555753;
 217   font-size: 80%;
 218   font-weight: normal;
 219 }
 220
 221 /* code listings */
 222
 223 .listing_code .programlisting .cbracket   { color: #a40000; } /* tango: scarlet red 3 */
 224 .listing_code .programlisting .comment    { color: #a1a39d; } /* tango: aluminium 4 */
 225 .listing_code .programlisting .function   { color: #000000; font-weight: bold; }
 226 .listing_code .programlisting .function a { color: #11326b; font-weight: bold; } /* tango: sky blue 4 */
 227 .listing_code .programlisting .keyword    { color: #4e9a06; } /* tango: chameleon 3  */
 228 .listing_code .programlisting .linenum    { color: #babdb6; } /* tango: aluminium 3 */
 229 .listing_code .programlisting .normal     { color: #000000; }
 230 .listing_code .programlisting .number     { color: #75507b; } /* tango: plum 2 */
 231 .listing_code .programlisting .preproc    { color: #204a87; } /* tango: sky blue 3  */
 232 .listing_code .programlisting .string     { color: #c17d11; } /* tango: chocolate 2 */
 233 .listing_code .programlisting .type       { color: #000000; }
 234 .listing_code .programlisting .type a     { color: #11326b; } /* tango: sky blue 4 */
 235 .listing_code .programlisting .symbol     { color: #ce5c00; } /* tango: orange 3 */
 236
 237 .listing_frame {
 238   /* tango:sky blue 1 */
 239   border: solid 1px #729fcf;
 240   padding: 0px;
 241 }
 242
 243 .listing_lines, .listing_code {
 244   margin-top: 0px;
 245   margin-bottom: 0px;
 246   padding: 0.5em;
 247 }
 248 .listing_lines {
 249   /* tango:sky blue 0.5 */
 250   background: #a6c5e3;
 251   /* tango:aluminium 6 */
 252   color: #2e3436;
 253 }
 254 .listing_code {
 255   /* tango:sky blue 0 */
 256   background: #e6f3ff;
 257 }
 258 .listing_code .programlisting {
 259   /* override from previous */
 260   border: none 0px;
 261   padding: 0px;
 262 }
 263 .listing_lines pre, .listing_code pre {
 264   margin: 0px;
 265 }
 266