themes/SpaceWiki/SpaceWiki.css

   1 /**
   2  * $Id$
   3  *
   4  * This theme will probably be renamed something like "Space" to
   5  * avoid any potential copyright issues.
   6  *
   7  * http://www.w3.org/TR/REC-CSS2/indexlist.html
   8  *
   9  * #fff; white
  10  * #000; black
  11  * #fff313; yellow
  12  * #ddc300; darker-yellow
  13  * #5791ff; bright-blue
  14  * #0053db; blue
  15  * #8452b5; magenta
  16  * #982505; red
  17  * #ef0032; light-red
  18  * #009000; green
  19  * #1bab11; light-green
  20  * #ff7e00; orange
  21  */
  22
  23 /**
  24  * General
  25  */
  26 img { border: 0; }
  27 form  { margin: 0; }
  28 input.button { font-family: Helvetica, Arial, sans-serif; }
  29 input { font-family: Helvetica, Arial, sans-serif; }
  30 textarea, input {
  31   color:      white;
  32   background: black;
  33 }
  34 dt { font-weight: bold; }
  35 table {
  36   border-spacing: 1px;
  37   /* For Mozilla */
  38   empty-cells: show;
  39 }
  40 td { color: white; } /* for NS4 */
  41 caption {
  42   caption-side: top;
  43   text-align: left;
  44   margin-bottom: .5ex;
  45   /* Allow the caption to extend to the full page width
  46      Mac ie5.1 ignores this*/
  47   width: 100%;
  48 }
  49 a { color: #0053db; }
  50 a:hover { color: #5791ff; }
  51
  52
  53 /**
  54  * Wiki
  55  */
  56 body {
  57   /* the background image url is relative to this file's directory */
  58   /*background-image:  url(images/starfield.png) repeat; */
  59   font-family: Helvetica, Arial, sans-serif;
  60   color:             white;
  61   background-color:  black;
  62 }
  63
  64 /* Main wiki text box */
  65 div.wikitext {
  66   clear: both;
  67 }
  68
  69 /**
  70  * <hr>
  71  * Not all browsers support this, but it's a cool trick when it is!
  72  * yes=OmniWeb 4.1sp28; No=IE5.1Mac, Mozilla0.97Mac, iCAB2.6Mac.
  73  */
  74 div.wikitext hr {
  75   visibility: hidden; /* for Mozilla */
  76   background-image:   url("images/hr.png");
  77   background-repeat:   repeat-x;
  78   background-position: center;
  79 }
  80 /* for Mozilla */
  81 div.wikitext hr:after {
  82   visibility: visible;
  83   display: block;
  84   content: url("images/hr.png");
  85   text-align: center;
  86   margin-top: -2.5ex;
  87   margin-bottom: 1ex;
  88 }
  89
  90
  91
  92 div.wikitext pre { font-family: monospace; }
  93
  94
  95 /**
  96  * Wiki Forms
  97  *
  98  * The div inside the wikiadmin upload form does not
  99  * have a class yet, so it must be referenced indirectly
 100  */
 101 div.wikiaction, form.wikiadmin div {
 102   background-color: #002;
 103   border: 1px solid #006;
 104   margin-top: 0.5ex;
 105   margin-bottom: 0.5ex;
 106   padding: 0.5ex 0.5em; }
 107 /* div.wikiadmin { background-color: black; } */
 108 form.wikiadmin div { background-color: black; }
 109
 110
 111 /**
 112  * Link styles
 113  */
 114 /* WikiWords */
 115 .wiki {
 116   text-decoration: none;
 117 }
 118 .named-wiki {
 119   text-decoration: underline;
 120 }
 121 div.wikitext a.wiki, div.wikitext a.named-wiki {
 122   color:           #fff313;
 123   font-weight:     bold;
 124 }
 125
 126 .wikitext a.wiki:hover, .wiki:hover {
 127   color: #44cff4;
 128 }
 129
 130 /* Action buttons */
 131 a.wikiaction, a.wikiadmin, a.wiki-rc-action, a.wikiunsafe {
 132   text-decoration: none;
 133   font-family: Arial, Helvetica, sans-serif;
 134 }
 135
 136 a.wikiaction {
 137   color:           #115511;
 138   font-weight:     bold;
 139 }
 140 a.wikiaction:hover { color: #1bab11; }
 141
 142 a.wikiadmin {
 143   color: #982505;
 144   font-weight:     bold;
 145 }
 146 a.wikiadmin:hover { color: #ef0032; }
 147
 148 /* Unknown links */
 149 .wikiunknown, .named-wikiunknown {
 150   color: gray;
 151   font-weight: normal;
 152   font-size: 100%;
 153 }
 154  /* QuestionMark #600 */
 155 .wikiunknown a, .named-wikiunknown a {
 156   color: #0053db;
 157   background: #1b1722;
 158   text-decoration: none;
 159   font-weight: normal;
 160 }
 161 .wikiunknown a:hover, .named-wikiunknown a:hover { color: #5791ff; }
 162
 163 /* Backlinks */
 164 .backlinks { text-decoration: none; }
 165 h1 .backlinks { text-decoration: none; }
 166
 167 /* Interwiki links */
 168 .wikipage  { font-weight: bold; }
 169 .interwiki { text-decoration: none; }
 170 .interwiki, i.interwiki .wikipage, em .interwiki .wikipage { font-style: oblique; }
 171 .interwiki .wikipage, i .interwiki, em .interwiki { font-style: normal; }
 172
 173
 174 /**
 175  * Headings
 176  */
 177 h1 {
 178   color: #000;
 179   background-color: #fff313;
 180 }
 181 div.toolbar h1 a.wiki, h1 a.backlinks, h2 a.wiki {
 182   border: 0;
 183   color: #fff313;
 184   background-color: #000;
 185   text-decoration: none;
 186 }
 187 div.toolbar h1 a.wiki, h2 a.wiki {
 188   color: #0053db;
 189 }
 190 div.toolbar h1 a.wiki:hover, h1 a.wiki:hover, h2 a.wiki:hover {
 191   border: 0;
 192   color: #5791ff;
 193 }
 194
 195 h2, h3, h4, h5, h6 {
 196   display: inline;
 197   padding-top:      0.25ex;
 198   padding-left:     0.5em;
 199   padding-right:    0.25em;
 200   padding-bottom:   1px;
 201   margin-top:    2ex;
 202   margin-bottom: 0;
 203 }
 204 h2:after, h3:after, h4:after, h5:after, h6:after {
 205   display: block;
 206   content: " | ";
 207   color: black;
 208   margin-left: 0.3em;
 209 }
 210 h2:after {
 211   border-left: 0.5em solid #0053db;
 212   border-top: 0.15ex solid #0053db;
 213 }
 214 h3:after {
 215   border-left: 0.5em solid #96c;
 216   border-top: 0.15ex solid #96c;
 217 }
 218 h4:after {
 219   border-left: 0.5em solid #639;
 220   border-top: 0.15ex solid #639;
 221 }
 222 h5:after {
 223   border-left: 0.5em solid #888;
 224   border-top: 0.15ex solid #888;
 225 }
 226 h6:after {
 227   border-left: 0.5em solid #aaa;
 228   border-top: 0.15ex solid #aaa;
 229 }
 230
 231
 232 h2 {
 233   color: #0053db;
 234   border-left: 0.25em solid #0053db;
 235 }
 236 h3 {
 237   color: #96c;
 238   border-left: 0.25em solid #96c;
 239 }
 240 h4 {
 241   color: #639;
 242   border-left: 0.25em solid #639;
 243 }
 244 h5 {
 245   color: #888;
 246   border-left: 0.25em solid #888;
 247 }
 248 h6 {
 249   color: #aaa;
 250   border-left: 0.25em solid #aaa;
 251 }
 252
 253
 254 /* Mozilla RecentChanges Sidebar */
 255 body.sidebar {
 256   font-size: smaller;
 257   margin: 0.5em;
 258 }
 259 body.sidebar div.wikitext {
 260   padding: 0.5em;
 261 }
 262 body.sidebar div.wikitext ul {
 263   padding-left: 0;
 264   line-height: 150%
 265 }
 266 body.sidebar div.wikitext h2:after {
 267   margin-bottom: 1ex;
 268   vertical-align: top;
 269 }
 270
 271
 272
 273 /**
 274  * Tables
 275  */
 276 table, td { font-family: Arial, Helvetica, sans-serif; }
 277 caption { font-family: Arial, Helvetica, sans-serif; }
 278 .pagelist {
 279 }
 280 .pagelist thead, .pagelist thead u {  }
 281 .pagelist tr.evenrow { background: #111; }
 282 .pagelist tr.oddrow  { background: black; }
 283 th.gridbutton {
 284   background-color: threedlightshadow;
 285   color: black;
 286   font-family: Tahoma, sans-serif, Arial, Helvetica;
 287   font-size: small;
 288   font-weight: normal;
 289   /*font-style: menu;*/
 290   margin: 5px 0px;
 291   white-space: nowrap;
 292   max-height: 24px;
 293   padding: 5px 0px 5px 0px;
 294   border-width: 1px;
 295   border-style: solid;
 296   border-color: threedhighlight threeddarkshadow threeddarkshadow threedhighlight;
 297 }
 298 input.gridbutton, a.gridbutton, a:hover.gridbutton, a:visited.gridbutton {
 299   text-decoration: none;
 300   font-size: small;
 301   font-weight: normal;
 302   /*font-style: menu;*/
 303   font-family: Tahoma, sans-serif, Arial, Helvetica;
 304   background-color: threedlightshadow;
 305   color: black;
 306 }
 307
 308 /**
 309  * Toolbar
 310  */
 311 .toolbar, input.button, #signin { font-family: Arial, Helvetica, sans-serif; }
 312 .toolbar hr { visibility: hidden; }
 313 div.toolbar, #signin {
 314   color: white;
 315   padding: 0;
 316   margin:  0;
 317 }
 318 div.toolbar { margin-top: 1ex; }
 319
 320 #navbuttons {
 321   margin-right: 7em; /* wrap around logo */
 322   margin-bottom: 1ex; /* space for h1 */
 323 }
 324 #navbuttons input {
 325   position: relative;
 326   bottom: -2px;
 327 }
 328 .editdate {
 329   font-family: Arial, Helvetica, sans-serif;
 330   color:            #96c;
 331 }
 332
 333 .toolbar .wiki {
 334   color:           #0053db;
 335   text-decoration: none;
 336   font-weight:   bold;
 337 }
 338 .toolbar .wiki:hover {
 339   color: #5791ff;
 340   font-weight:  bold;
 341 }
 342
 343 div.toolbar input {
 344   font-family: Helvetica, Arial, sans-serif;
 345 }
 346
 347
 348 /**
 349  * Edit Page & View Source
 350  */
 351 /* Make the textarea the full page width */
 352 textarea {
 353   border: 2px solid #0053db;
 354   padding-top:   .5ex;
 355   padding-bottom:.5ex;
 356   padding-left:  .5em;
 357   padding-right: .25em;
 358 }
 359 textarea.wikiedit {
 360   width: 100%;
 361   margin-bottom: 0.5ex;
 362   margin-top:    0.5ex;
 363   padding: 2px;
 364 }
 365 #editarea-size {
 366   margin-top: 1ex;
 367   text-align: right;
 368   font-size: smaller;
 369 }
 370
 371
 372 /**
 373  * IncludePage plugin
 374  */
 375 .transclusion-title {
 376   font-style: oblique;
 377   font-size: smaller; /* 0.75em; */
 378   text-decoration: none;
 379   text-align: right;
 380 }
 381 .wiki-edithelp, .transclusion {
 382   background: #1b1722;
 383   border: 1px solid #403752;
 384 }
 385 .wiki-edithelp {
 386   font-size: smaller;
 387   margin: 0.5ex 0px;
 388 }
 389 .wiki-edithelp, div.transclusion {
 390   color: #a2a2a2;
 391   background-color: #1b1722;
 392   padding-left:  0.5em;
 393   padding-right: 0.5em;
 394   padding-top:    0.5ex;
 395   padding-bottom: 0.5ex;
 396   margin-left:  0;
 397   margin-right: 0;
 398 }
 399 .wiki-edithelp .wiki {
 400   color:           #fff313;
 401   font-weight:     bold;
 402   text-decoration: none;
 403   margin-top: 1ex;
 404   margin-bottom: 1ex;
 405 }
 406 .wiki-edithelp p {
 407   font-family: Arial, Helvetica, sans-serif;
 408   padding-left:  0.5em;
 409   padding-right: 0.5em;
 410   padding-top:    0.5ex;
 411   padding-bottom: 0.5ex;
 412   margin: 0;
 413 }
 414
 415
 416 /**
 417  * Calendar plugin
 418  */
 419 table.cal {
 420   border: 1px solid #006;
 421   background: black;
 422   margin: 0.5ex 0.5em;
 423   padding: 1px;
 424   /* For Mozilla */
 425   empty-cells: hide;
 426 }
 427
 428 /* cells */
 429 table.cal td {
 430   border: 1px solid #006;
 431   color: #fff313;
 432   background: black;
 433   text-align: right;
 434 }
 435
 436 /* Month-name header */
 437 table.cal-header { font-size: larger; }
 438 table.cal-header tr, table.cal-header td { text-align: center; }
 439 .cal-arrow {
 440   font-weight: bold;
 441   text-decoration: none;
 442 }
 443
 444 /* Day-names header */
 445 table.cal tbody tr .cal-dayname {  }
 446 .cal-dayname td {
 447   text-align: center;
 448   font-size: smaller;
 449   text-decoration: underline;
 450 }
 451
 452 /* Individual days */
 453 a.cal-hide { text-decoration: none; }
 454
 455 /* Today */
 456  /* cell */
 457 table.cal td.cal-today {
 458   margin: 1px;
 459   border: 1px solid gray;
 460 }
 461  /* text */
 462 table.cal td.cal-today a.cal-hide {  }
 463 /**
 464  * Diff Output
 465  */
 466
 467 /* main box */
 468 .diff .block {
 469   background: #008;
 470   padding: 0.5ex 0.5em;
 471   margin:  0.5ex 0;
 472 }
 473
 474 /* individual lines */
 475 .diff .context { background: black; }
 476
 477 /* + - line prefix */
 478 .diff .block tt{
 479   font-weight: bold;
 480   font-family: monospace;
 481   margin-left: -.6em;
 482   color: black;
 483 }
 484
 485 .diff del, .diff ins {
 486   font-weight: bold;
 487   text-decoration: none;
 488 }
 489 .diff .original, .diff .deleted { background: #a40024; }
 490 .diff .final, .diff .added { background: #cfc; }
 491
 492 /* These don't work in NS4 -- it completely ignores <del> and <ins>. */
 493 .diff del { background: #a40024; }
 494 .diff ins { background: #9f9; }
 495
 496
 497 /**
 498  * PageHistory, Info
 499  */
 500 table.pageinfo {
 501  border: 1px solid #96c;
 502 }
 503 table.pageinfo td { background: black; }
 504 table.pageinfo td.pageinfo {
 505   border-right: 0.15em solid #639;
 506   font-weight: bold;
 507   color: #639;
 508   background: #203;
 509 }
 510 table.pageinfo td + td.pageinfo {
 511   border-right: 0;
 512 }
 513 .pageinfo-minoredit, .pageinfo-authorid {
 514   font-size: smaller;
 515   font-style: oblique;
 516 }
 517
 518
 519 /**
 520  * RecentChanges
 521  */
 522 .rssicon {
 523   border-color: #000;
 524   border-width: 2px;
 525 }
 526 .rc-major {
 527   color:       #fff;
 528   background:  #000;
 529   font-weight: normal;
 530   text-decoration: none;
 531 }
 532
 533 img.rssicon {
 534   vertical-align: top;
 535 }
 536 b.wikisummary {
 537   color:        #fff313;
 538   background:   #000;
 539   text-decoration: none;
 540   font-weight:  bold;
 541 }
 542
 543
 544 /**
 545  * Other
 546  */
 547 .printer { display: none; }
 548
 549 /* PHP Warnings */
 550 div.errors {
 551   color: red;
 552   background: black;
 553   border: medium solid red;
 554   clear: both;
 555 }
 556 .errors h4 {
 557   color: black;
 558   background: red;
 559   text-decoration: underline;
 560 }
 561 .error { font-family: monospace; }
 562 .error ul { font-family: monospace; }
 563
 564 /* Debug */
 565 .debug {
 566   color: white;
 567   background: black;
 568   font-family: monospace;
 569   font-size: smaller;
 570   margin-top:    16ex;
 571   margin-bottom: 4ex;
 572   margin-left:  0;
 573   margin-right: 0;
 574   padding: 0.5ex 0.5em;
 575   border: medium solid gray;
 576   display: table;
 577 }
 578
 579 .clear-floats {
 580   clear: both;
 581 }
 582 /**
 583  * Search Results
 584  */
 585 .search-context { background: white; font-style: oblique; }
 586 .search-term {
 587   background: yellow;
 588   font-weight: normal;
 589 }
 590
 591 /**
 592  * General
 593  */
 594 input.numeric { text-align: right; }
 595 input {
 596   margin: 0;
 597   border-left: 1px solid #0053db;
 598   border-right: 1px solid #0053db;
 599   border-top: 1px solid #0053db;
 600   border-bottom: 1px solid #0053db;
 601   text-align:  center;
 602 }
 603 input[type=text] {
 604   border-left: 2px solid #0053db;
 605   border-right: 2px solid #0053db;
 606   border-bottom: 2px solid #0053db;
 607   border-top: 0;
 608   margin-top: 2px;
 609   padding: 1px;
 610 }
 611 input[type=submit] {
 612   color: #0053db;
 613   border-left:   1.5em solid #0053db;
 614   border-right:  0.15em solid #0053db;
 615   border-top: 2px solid #0053db;
 616   border-bottom: 2px solid #0053db;
 617   padding-left:  0;
 618   padding-right: 0;
 619 }
 620 input[type=submit]:hover {
 621   color: #5791ff;
 622   border-color: #5791ff;
 623 }
 624
 625 .logo img {
 626   margin-bottom: 1ex;
 627 }
 628
 629 /**
 630  * Wiki Forms
 631  *
 632  * The div inside the wikiadmin upload form does not
 633  * have a class yet, so it must be referenced indirectly
 634  */
 635 /* div.wikiaction, div.wikiadmin { */
 636 div.wikiaction, form.wikiadmin div {
 637   /* Emulate the display behaviour of a table, to shrink it's width.
 638    * ie5.1Mac ignores this */
 639   position: relative;
 640   display: table;
 641 }
 642
 643 /* Add space between the input field and following buttons, but not after the last button. */
 644 div.wikiaction input[type=text],
 645 div.wikiadmin input[type=text],
 646 form.wikiadmin input[type=file] { margin-right: 0.5em; }
 647
 648
 649 /**
 650  * Links
 651  */
 652
 653 /* Make wikiaction links look futuristic */
 654 a.wikiaction {
 655   border-left:   1.5em solid #115511;
 656   border-right:  0.15em solid #115511;
 657   padding-left:  0.15em;
 658   padding-right: 0.3em;
 659 }
 660 a.wikiaction:hover {
 661   border-right: 0.15em solid #1bab11;
 662 }
 663
 664 a.wikiadmin {
 665   border-left:   1.5em solid #982505;
 666   border-right:  0.15em solid #982505;
 667   padding-left:  0.15em;
 668   padding-right: 0.3em;
 669 }
 670 a.wikiadmin:hover {
 671   border-right: .15em solid #ef0032;
 672 }
 673
 674 /* QuestionMark */
 675 .wikiunknown a, .named-wikiunknown a {
 676   border: 1px solid black;
 677   padding-left:  1px;
 678   padding-right: 1px;
 679   padding-top: 1px;
 680   margin-right: 1px;
 681   font-size: smaller; /* too small in NS4 */
 682 }
 683 .wikiunknown a:hover, .named-wikiunknown a:hover {
 684   border: 1px solid #403752;
 685 }
 686
 687 a.wiki-rc-action {
 688   border-left: 0.15em solid #0053db;
 689   padding-left: 0.2em;
 690   padding-right: 0.2em;
 691   padding-bottom: 0.2ex;
 692   margin-left: -0.25em;
 693 }
 694 li.rc-major a.wiki-rc-action,
 695 li.rc-minor a.wiki-rc-action {
 696   border-left: 0;
 697   margin-left: 0;
 698   border-right: 0.25em solid #0053db;
 699   padding-right: 0.25em;
 700   margin-right: 0.8em;
 701 }
 702 p.wiki-rc-action a.wiki-rc-action:first-child {
 703   border-left: 0;
 704   margin-left: 0;
 705   border-right: 0;
 706 }
 707 li.rc-major, li.rc-minor {
 708   display: table;
 709   /*border-bottom: 1px solid #222;*/
 710   margin-bottom: .25ex;
 711   padding-left: 0.25em;
 712   padding-right: 0.25em;
 713 }
 714 li.rc-minor {
 715   font-size: 75%;
 716   margin-top: .5ex;
 717   border-bottom: 0;
 718   padding-left: 1em;
 719 }
 720 li.rc-minor a.wiki-rc-action {
 721   border-right: 0.15em solid #0053db;
 722   margin-right: 2em;
 723 }
 724 li.rc-major a.wiki-rc-action:hover,
 725 li.rc-minor a.wiki-rc-action:hover,
 726 a.wiki-rc-action:hover {
 727   border-color: #5791ff;
 728 }
 729
 730 /* Link icons */
 731 img.linkicon { vertical-align: middle; }
 732
 733
 734 /**
 735  * Headings
 736  */
 737 h1 {
 738   padding-top:      0.25ex;
 739   padding-left:     0.5em;
 740   padding-right:    0.25em;
 741   padding-bottom:   1px;
 742 }
 743 div.toolbar h1 a.wiki, h1 a.backlinks {
 744   padding-top:      0.25ex;
 745   padding-left:     0.25em;
 746   padding-right:    0.25em;
 747   padding-bottom:   1px;
 748 }
 749 h2 a.wiki {
 750   padding-top:      0.25ex;
 751   padding-left:     0.25em;
 752   padding-right:    0.25em;
 753   padding-bottom:   1px;
 754 }
 755 div.toolbar input {
 756   text-align:  left;
 757 }
 758
 759
 760 /**
 761  * Edit Page & View Source
 762  */
 763 /* color: inherit; and background: inherit; display as lime in NS4 */
 764 div.transclusion { font-size: smaller; } /* too small in NS4 */
 765
 766
 767 /**
 768  * Diff Output
 769  */
 770 .diff .block div {
 771   position: relative;
 772   padding-left: 1.5em;
 773 }
 774 .diff .prefix {
 775   position: absolute;
 776   left: 0;
 777   top:  0;
 778 }
 779
 780
 781 .editdate {
 782   padding-top:    0.25ex;
 783   padding-left:   0.5em;
 784   padding-right:  0.5em;
 785   padding-bottom: 1px;
 786   margin-top:     2em;
 787   margin-bottom:  0ex;
 788
 789   border-left: 0.5em solid #96c;
 790   border-top: 0.15em solid #96c;
 791 }
 792
 793 div.toolbar .wiki {
 794   border-left:   1.5em solid #0053db;
 795   border-right:  0.15em solid #0053db;
 796   padding-left:  0.15em;
 797   padding-right: 0.3em;
 798 }
 799 div.toolbar .wiki:hover {
 800   border-right: 0.15em solid #5791ff;
 801 }
 802
 803 b.wikisummary {
 804   padding: 2px;
 805   margin: 1px;
 806 }
 807
 808 /**
 809  * Other
 810  */
 811 /* PHP Warnings */
 812 div.errors {
 813   font-size: smaller; /* too small in NS4 */
 814   margin-top:    4ex;
 815   margin-bottom: 2ex;
 816   padding: 0.5ex 0.25em;
 817 }
 818 .errors h4 {
 819   margin: 0;
 820   padding: 0.5ex 0.25em;
 821 }
 822
 823 .error {
 824   padding-left: 0.25em;
 825   padding-right: 0.25em;
 826 }
 827
 828 /*
 829  * table class="boxed"
 830  * will put a border around the table (but not around the cells)
 831  *
 832  * table class="bordered"
 833  * will put a border around the table and the cells
 834  *
 835  * In both cases, the caption will be bold and centered under the table
 836  *
 837  * In both cases, the headers (th) will have a "#d8d8d8" background
 838  */
 839
 840 table.boxed, table.bordered, table.bordered th, table.bordered td {
 841     border-width: 1px;
 842     border-style: solid;
 843     border-collapse: collapse;
 844     vertical-align: top;
 845 }
 846
 847 table.boxed td, table.bordered td,
 848 table.boxed th, table.bordered th {
 849     padding-left: 5px;
 850     padding-right: 5px;
 851     padding-top: 0px;
 852     padding-bottom: 0px;
 853 }
 854
 855 table.boxed caption, table.bordered caption {
 856     text-align: center;
 857     font-weight: bold;
 858     caption-side: bottom;
 859     padding-top: 0.8em;
 860 }
 861
 862 table.boxed th, table.bordered th {
 863     font-weight: bold;
 864     background-color: #d8d8d8;
 865 }
 866
 867 /* For emacs users
 868  *
 869  * Local Variables:
 870  * mode: c
 871  * c-file-style: cc-mode
 872  * End:
 873  */