doclib/senf.css

   1 body {
   2         padding: 0;
   3         margin: 0;
   4         font-family: Verdana, Arial, Helvetica, sans-serif;
   5 }
   6
   7 #head {
   8         height: 62px;
   9         border-top: 5px solid #DECD40;
  10         border-bottom: 1px solid #AF9D00;
  11         background: url(logo-head.png) top left no-repeat;
  12         background-color: #EDE497;
  13 }
  14
  15 #head h1 {
  16         margin: 0 0 0 100px;
  17         padding: 6px 0 0 42px;
  18         height: 33px;
  19         background-color: #DECD40;
  20         border-bottom: 1px solid #AF9D00;
  21         font-size: 22px;
  22         font-weight: bold;
  23         color: white;
  24         white-space: nowrap;
  25         text-align: left;
  26 }
  27
  28 #head h2 {
  29         margin: 0 0 0 100px;
  30         padding: 4px 0 0 42px;
  31         height: 18px;
  32         background-color: #EDE497;
  33         color: #726921;
  34         font-size: 13px;
  35         font-weight: normal;
  36         white-space: nowrap;
  37 }
  38
  39 #content1 {
  40         padding: 0 10px 10px 0;
  41         border-bottom: 1px solid #AF9D00;
  42 }
  43
  44 #content2 {
  45         /* need non-zero top padding here to prevent margin propagation */
  46         padding: 10px 0 0 142px;
  47         max-width: 62em;
  48 }
  49
  50 a {
  51         font-weight: bold;
  52         text-decoration: none;
  53 }
  54
  55 a:contains("http://") {
  56         font-weight: normal;
  57 }
  58
  59 a.ext {
  60         font-style: italic;
  61 }
  62
  63 div.tabs {
  64         display: inline; /* IE double margin fix */
  65         float: left;
  66         clear: left;
  67         background-color: #FDF7C3;
  68         border: 1px solid #AF9D00;
  69         margin: 0 0 10px -132px;
  70         width: 120px;
  71         overflow: hidden;
  72 }
  73
  74 * html div.tabs {
  75         margin-bottom: 0; /* Grmpf .. IE6 is f**ing up ... */
  76 }
  77
  78 div.tabs ul {
  79         margin: 0;
  80         padding: 0;
  81         list-style-type: none;
  82 }
  83
  84 div.tabs ul li {
  85         display: inline;
  86 }
  87
  88 div.tabs ul li a {
  89         display: block;
  90         padding: 2px 5px;
  91         font-size: 13px;
  92         color: #726921;
  93         text-decoration: none;
  94         white-space: nowrap;
  95         font-weight: normal;
  96 }
  97
  98 div.tabs ul li a:visited, div.tabs ul li a:active {
  99         color: #726921;
 100         text-decoration: none;
 101 }
 102
 103 div.tabs li.current a {
 104         background-position: 100% -150px;
 105         border-width: 0px;
 106 }
 107
 108 div.tabs li.current span {
 109         background-position: 0% -150px;
 110         padding-bottom: 6px;
 111 }
 112
 113 div.tabs ul li a:hover, div.tabs ul li.current a {
 114         color: #726921;
 115         text-decoration: none;
 116         background-color: #EDE497;
 117 }
 118
 119 #footer {
 120         clear: both;
 121         padding: 4px 10px 4px 142px;
 122         color: #726921;
 123         white-space: nowrap;
 124         text-align: right;
 125         max-width: 62em;
 126 }
 127
 128 #footer span {
 129         font-size: 10px;
 130 }
 131
 132 #footer a, #footer a:active, #footer a:visited {
 133         color: #726921;
 134         text-decoration: none;
 135 }
 136
 137 #footer a:hover {
 138         background-color: inherit;
 139         text-decoration: underline;
 140 }
 141
 142 dl.attention {
 143         border: 1px solid #AADD88;
 144         background-color: #EEFFDD;
 145         padding: 4px;
 146 }
 147
 148 dl.warning {
 149         border: 1px solid #DDAA88;
 150         background-color: #FFEEDD;
 151         padding: 4px;
 152 }
 153
 154 dl.note {
 155         border: 1px solid A0C2C2;
 156         background-color: #F0F8F8;
 157         padding: 4px;
 158 }
 159
 160 table.senf {
 161         width: 95%;
 162         margin: 0 auto;
 163         border: 1px solid #AAAAAA;
 164         padding: 2px;
 165         border-spacing: 0;
 166 }
 167
 168 table.senf td,th {
 169         border: 2px solid white;
 170         background-color: #EEEEEE;
 171         padding: 2px 4px;
 172         text-align: left;
 173 }
 174
 175 table.senf th {
 176         background-color: #DDDDDD;
 177         text-align: center;
 178         font-weight: bold;
 179 }
 180
 181 dl.bug, dl.fixme, dl.todo, dl.idea {
 182         border: 1px solid #EE0000;
 183         border-left-width: 4px;
 184         background-color: #FFDDDD;
 185         padding: 0 10px;
 186 }
 187
 188 dl.xref-bug, dl.xref-fix, dl.xref-todo, dl.xref-idea {
 189         border: 1px solid #CC8888;
 190         padding: 2px 3px;
 191         margin: 4px 8px 4px 2px;
 192         background-color: #FFEEEE;
 193         color: #666666;
 194         font-size: 9px;
 195         overflow: hidden;
 196 }
 197
 198 dl.xref-bug dt, dl.xref-fix dt, dl.xref-todo dt, dl.xref-idea dt,
 199 dl.xref-bug dd, dl.xref-fix dd, dl.xref-todo dd, dl.xref-idea dd {
 200         display: inline;
 201         margin: 0;
 202         padding: 0;
 203 }
 204
 205 dl.xref-bug a, dl.xref-fix a, dl.xref-todo a, dl.xref-idea a {
 206         color: #6666FF;
 207 }
 208
 209 dl.fixme {
 210         border-color: #EEEE00;
 211         background-color: #FFFFDD;
 212 }
 213
 214 dl.xref-fix {
 215         border-color: #CCCC88;
 216         background-color: #FFFFEE;
 217 }
 218
 219 dl.todo {
 220         border-color: #00AA00;
 221         background-color: #DDFFDD;
 222 }
 223
 224 dl.xref-todo {
 225         border-color: #88CC88;
 226         background-color: #EEFFEE;
 227 }
 228
 229 dl.idea {
 230         border-color: #AAAAAA;
 231         background-color: #EEEEEE;
 232 }
 233
 234 dl.xref-idea {
 235         border-color:  #CCCCCC;
 236         background-color: #F8F8F8;
 237 }
 238
 239 table {
 240         width: 100%;
 241 }
 242
 243 div.ah {
 244         margin-right: 10px;
 245 }
 246
 247 div.nav {
 248         width: auto;
 249         background-color: white;
 250         border: none;
 251         border-bottom: 1px solid #AF9D00;
 252         padding: 5px 0;
 253         margin: 0;
 254 }
 255
 256 div.qindex {
 257         width: auto;
 258         background-color: #e8eef2;
 259         border: 1px solid #84b0c7;
 260         text-align: center;
 261         margin: 2px 0;
 262         padding: 2px;
 263         line-height: 140%;
 264 }
 265
 266 dl.parameters dd table {
 267         width: auto;
 268 }
 269
 270 table.glossary {
 271         border: none;
 272         border-spacing: 0;
 273 }
 274
 275 table.glossary tr td {
 276         border: none;
 277         border-bottom: 4px solid white;
 278         vertical-align: top;
 279         padding: 2px 4px;
 280         background-color: #F0F0F0;
 281 }
 282
 283 table.glossary tr td:first-child {
 284         font-weight: bold;
 285         white-space: nowrap;
 286         padding-right: 10px;
 287 }
 288
 289 table.members td:first-child {
 290         width: 35%;
 291 }