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