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