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