doclib/senf.css

   1 body {
   2         padding: 0;
   3         margin: 0;
   4         font-family: Verdana, Arial, Helvetica, sans-serif;
   5         font-size: 10pt;
   6 }
   7
   8 #head {
   9         height: 62px;
  10         border-top: 5px solid #DECD40;
  11         border-bottom: 1px solid #AF9D00;
  12         background: url(logo-head.png) top left no-repeat;
  13         background-color: #EDE497;
  14 }
  15
  16 #head h1 {
  17         margin: 0 0 0 100px;
  18         padding: 6px 0 0 42px;
  19         height: 33px;
  20         background-color: #DECD40;
  21         border-bottom: 1px solid #AF9D00;
  22         font-size: 22px;
  23         font-weight: bold;
  24         color: white;
  25         white-space: nowrap;
  26         text-align: left;
  27 }
  28
  29 #subtitle {
  30         margin: 0 10px 0 100px;
  31         padding: 4px 0 0 42px;
  32         height: 18px;
  33         max-width: 62em;
  34         background-color: #EDE497;
  35         color: #726921;
  36 }
  37
  38 #head h2 {
  39         margin: 0;
  40         padding: 0;
  41         font-size: 13px;
  42         font-weight: normal;
  43         white-space: nowrap;
  44 }
  45
  46 #head ul {
  47         display: inline; /* für IE ... */
  48         font-size: 13px;
  49         height: 0px;
  50         margin: 0;
  51         padding: 0;
  52 }
  53
  54 #head li {
  55         list-style-type: none;
  56         margin: 0 0 0 15px;
  57         padding: 0 0 0 5px;
  58         float: right;
  59         border-left: 4px solid #726921;
  60         height: 14px;
  61 }
  62
  63 #head a {
  64         font-weight: normal;
  65         color: inherit;
  66 }
  67
  68 #head a:hover {
  69         background-color: inherit;
  70         text-decoration: underline;
  71 }
  72
  73 #search {
  74         margin: 0 10px 0 100px;
  75         padding: 0 0 0 42px;
  76         max-width: 62em;
  77 }
  78
  79 #search2 {
  80         float: right;
  81         width: 150px;
  82         height: 39px;
  83         font-size: 10px;
  84         /* margin/padding/color/background-color/border: mostly IE6/IE7 fixes */
  85         margin: 0 0 0 -10px;
  86         padding: 0 0 0 10px;
  87         color: #726921;
  88         background-color: #DECD40;
  89         border-bottom: 1px solid #AF9D00;
  90 }
  91
  92 #search input {
  93         display: block;
  94         height: 16px;
  95         border: 1px solid #AF9D00;
  96         width: 100%;
  97 }
  98
  99 #search form {
 100         margin: 0;
 101         padding: 0;
 102 }
 103
 104 #content1 {
 105         padding: 0 10px 10px 0;
 106         border-bottom: 1px solid #AF9D00;
 107 }
 108
 109 #content2 {
 110         /* need non-zero top padding here to prevent margin propagation */
 111         padding: 10px 0 0 142px;
 112         max-width: 62em;
 113 }
 114
 115 a {
 116         font-weight: bold;
 117         text-decoration: none;
 118 }
 119
 120 a.literal {
 121         font-weight: normal;
 122 }
 123
 124 a.ext {
 125         font-style: italic;
 126 }
 127
 128 a.anchor {
 129         color: inherit;
 130         background-color: white !important;
 131 }
 132
 133 div.tabs {
 134         display: inline; /* IE double margin fix */
 135         float: left;
 136         clear: left;
 137         background-color: #FDF7C3;
 138         border: 1px solid #AF9D00;
 139         margin: 0 0 10px -132px;
 140         width: 120px;
 141         overflow: hidden;
 142 }
 143
 144 * html div.tabs {
 145         margin-bottom: 0; /* Grmpf .. IE6 is f**ing up ... */
 146 }
 147
 148 div.tabs ul {
 149         margin: 0;
 150         padding: 0;
 151         list-style-type: none;
 152 }
 153
 154 div.tabs ul li {
 155         display: inline;
 156 }
 157
 158 div.tabs ul li a {
 159         display: block;
 160         padding: 2px 5px;
 161         font-size: 13px;
 162         color: #726921;
 163         text-decoration: none;
 164         white-space: nowrap;
 165         font-weight: normal;
 166 }
 167
 168 div.tabs ul li a:visited, div.tabs ul li a:active {
 169         color: #726921;
 170         text-decoration: none;
 171 }
 172
 173 div.tabs li.current a {
 174         background-position: 100% -150px;
 175         border-width: 0px;
 176 }
 177
 178 div.tabs li.current span {
 179         background-position: 0% -150px;
 180         padding-bottom: 6px;
 181 }
 182
 183 div.tabs ul li a:hover, div.tabs ul li.current a {
 184         color: #726921;
 185         text-decoration: none;
 186         background-color: #EDE497;
 187 }
 188
 189 #footer {
 190         clear: both;
 191         padding: 4px 10px 4px 142px;
 192         color: #726921;
 193         white-space: nowrap;
 194         text-align: right;
 195         max-width: 62em;
 196 }
 197
 198 #footer span {
 199         font-size: 10px;
 200 }
 201
 202 #footer a, #footer a:active, #footer a:visited {
 203         color: #726921;
 204         text-decoration: none;
 205 }
 206
 207 #footer a:hover {
 208         background-color: inherit;
 209         text-decoration: underline;
 210 }
 211
 212 dl.attention {
 213         border: 1px solid #AADD88;
 214         background-color: #EEFFDD;
 215         padding: 4px;
 216 }
 217
 218 dl.warning {
 219         border: 1px solid #DDAA88;
 220         background-color: #FFEEDD;
 221         padding: 4px;
 222 }
 223
 224 dl.note {
 225         border: 1px solid A0C2C2;
 226         background-color: #F0F8F8;
 227         padding: 4px;
 228 }
 229
 230 table.senf {
 231         width: 95%;
 232         margin: 0 auto;
 233         border: 1px solid #AAAAAA;
 234         padding: 2px;
 235         border-spacing: 0;
 236 }
 237
 238 table.senf td,th {
 239         border: 2px solid white;
 240         background-color: #EEEEEE;
 241         padding: 2px 4px;
 242         text-align: left;
 243 }
 244
 245 table.senf th {
 246         background-color: #DDDDDD;
 247         text-align: center;
 248         font-weight: bold;
 249 }
 250
 251 dl.xref-bug, dl.xref-fix, dl.xref-todo, dl.xref-idea {
 252         border: 1px solid #CC8888;
 253         padding: 2px 3px;
 254         margin: 4px 8px 4px 2px;
 255         background-color: #FFEEEE;
 256         color: #666666;
 257         font-size: 9px;
 258         overflow: hidden;
 259 }
 260
 261 dl.xref-bug dt, dl.xref-fix dt, dl.xref-todo dt, dl.xref-idea dt,
 262 dl.xref-bug dd, dl.xref-fix dd, dl.xref-todo dd, dl.xref-idea dd {
 263         display: inline;
 264         margin: 0;
 265         padding: 0;
 266 }
 267
 268 dl.xref-bug a, dl.xref-fix a, dl.xref-todo a, dl.xref-idea a {
 269         color: #6666FF;
 270 }
 271
 272 dl.xref-fix {
 273         border-color: #CCCC88;
 274         background-color: #FFFFEE;
 275 }
 276
 277 dl.xref-todo {
 278         border-color: #88CC88;
 279         background-color: #EEFFEE;
 280 }
 281
 282 dl.xref-idea {
 283         border-color:  #CCCCCC;
 284         background-color: #F8F8F8;
 285 }
 286
 287 div.bug, div.fixme, div.todo, div.idea {
 288         padding-left: 10px;
 289 }
 290
 291 div.bug {
 292         border-left: 10px solid red;
 293 }
 294
 295 div.fixme {
 296         border-left: 10px solid yellow;
 297 }
 298
 299 div.todo {
 300         border-left: 10px solid green;
 301 }
 302
 303 div.idea {
 304         border-left: 10px solid #AAAAAA;
 305 }
 306
 307 table {
 308         width: 100%;
 309 }
 310
 311 div.ah {
 312         margin-right: 10px;
 313 }
 314
 315 div.nav {
 316         width: auto;
 317         background-color: white;
 318         border: none;
 319         border-bottom: 1px solid #AF9D00;
 320         padding: 5px 0;
 321         margin: 0;
 322 }
 323
 324 div.qindex {
 325         width: auto;
 326         background-color: #e8eef2;
 327         border: 1px solid #84b0c7;
 328         text-align: center;
 329         margin: 2px 0;
 330         padding: 2px;
 331         line-height: 140%;
 332 }
 333
 334 dl.parameters dd table {
 335         width: auto;
 336 }
 337
 338 table.glossary {
 339         border: none;
 340         border-spacing: 0;
 341         margin: 10px 0;
 342 }
 343
 344 table.glossary tr td {
 345         border: none;
 346         border-bottom: 4px solid white;
 347         vertical-align: top;
 348         padding: 2px 4px;
 349         background-color: #F0F0F0;
 350 }
 351
 352 table.glossary tr td:first-child {
 353         font-weight: bold;
 354         white-space: nowrap;
 355         padding-right: 10px;
 356 }
 357
 358 table.members td:first-child {
 359         width: 35%;
 360 }
 361
 362 /* \f
 363  * Local Variables:
 364  * indent-tabs-mode: nil
 365  * ispell-local-dictionary: "american"
 366  * End:
 367  */