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