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, Arial, Helvetica, sans-serif;
 287   font-size: small;
 288   font-weight: normal;
 289   margin: 5px 0px;
 290   white-space: nowrap;
 291   max-height: 24px;
 292   padding: 5px 0px 5px 0px;
 293   border-width: 1px;
 294   border-style: solid;
 295   border-color: ThreeDHighlight ThreeDDarkShadow ThreeDDarkShadow ThreeDHighlight;
 296 }
 297 input.gridbutton, a.gridbutton, a:hover.gridbutton, a:visited.gridbutton {
 298   text-decoration: none;
 299   font-size: small;
 300   font-weight: normal;
 301   font-family: Tahoma, Arial, Helvetica, sans-serif;
 302   background-color: ThreeDLightShadow;
 303   color: black;
 304 }
 305
 306 /**
 307  * Toolbar
 308  */
 309 .toolbar, input.button, #signin { font-family: Arial, Helvetica, sans-serif; }
 310 .toolbar hr { visibility: hidden; }
 311 div.toolbar, #signin {
 312   color: white;
 313   padding: 0;
 314   margin:  0;
 315 }
 316 div.toolbar { margin-top: 1ex; }
 317
 318 #navbuttons {
 319   margin-right: 7em; /* wrap around logo */
 320   margin-bottom: 1ex; /* space for h1 */
 321 }
 322 #navbuttons input {
 323   position: relative;
 324   bottom: -2px;
 325 }
 326 .editdate {
 327   font-family: Arial, Helvetica, sans-serif;
 328   color:            #96c;
 329 }
 330
 331 .toolbar .wiki {
 332   color:           #0053db;
 333   text-decoration: none;
 334   font-weight:   bold;
 335 }
 336 .toolbar .wiki:hover {
 337   color: #5791ff;
 338   font-weight:  bold;
 339 }
 340
 341 div.toolbar input {
 342   font-family: Helvetica, Arial, sans-serif;
 343 }
 344
 345
 346 /**
 347  * Edit Page & View Source
 348  */
 349 /* Make the textarea the full page width */
 350 textarea {
 351   border: 2px solid #0053db;
 352   padding-top:   .5ex;
 353   padding-bottom:.5ex;
 354   padding-left:  .5em;
 355   padding-right: .25em;
 356 }
 357 textarea.wikiedit {
 358   width: 100%;
 359   margin-bottom: 0.5ex;
 360   margin-top:    0.5ex;
 361   padding: 2px;
 362 }
 363 #editarea-size {
 364   margin-top: 1ex;
 365   text-align: right;
 366   font-size: smaller;
 367 }
 368
 369
 370 /**
 371  * IncludePage plugin
 372  */
 373 .transclusion-title {
 374   font-style: oblique;
 375   font-size: smaller; /* 0.75em; */
 376   text-decoration: none;
 377   text-align: right;
 378 }
 379 .wiki-edithelp, .transclusion {
 380   background: #1b1722;
 381   border: 1px solid #403752;
 382 }
 383 .wiki-edithelp {
 384   font-size: smaller;
 385   margin: 0.5ex 0px;
 386 }
 387 .wiki-edithelp, div.transclusion {
 388   color: #a2a2a2;
 389   background-color: #1b1722;
 390   padding-left:  0.5em;
 391   padding-right: 0.5em;
 392   padding-top:    0.5ex;
 393   padding-bottom: 0.5ex;
 394   margin-left:  0;
 395   margin-right: 0;
 396 }
 397 .wiki-edithelp .wiki {
 398   color:           #fff313;
 399   font-weight:     bold;
 400   text-decoration: none;
 401   margin-top: 1ex;
 402   margin-bottom: 1ex;
 403 }
 404 .wiki-edithelp p {
 405   font-family: Arial, Helvetica, sans-serif;
 406   padding-left:  0.5em;
 407   padding-right: 0.5em;
 408   padding-top:    0.5ex;
 409   padding-bottom: 0.5ex;
 410   margin: 0;
 411 }
 412
 413
 414 /**
 415  * Calendar plugin
 416  */
 417 table.cal {
 418   border: 1px solid #006;
 419   background: black;
 420   margin: 0.5ex 0.5em;
 421   padding: 1px;
 422   /* For Mozilla */
 423   empty-cells: hide;
 424 }
 425
 426 /* cells */
 427 table.cal td {
 428   border: 1px solid #006;
 429   color: #fff313;
 430   background: black;
 431   text-align: right;
 432 }
 433
 434 /* Month-name header */
 435 table.cal-header { font-size: larger; }
 436 table.cal-header tr, table.cal-header td { text-align: center; }
 437 .cal-arrow {
 438   font-weight: bold;
 439   text-decoration: none;
 440 }
 441
 442 /* Day-names header */
 443 table.cal tbody tr .cal-dayname {  }
 444 .cal-dayname td {
 445   text-align: center;
 446   font-size: smaller;
 447   text-decoration: underline;
 448 }
 449
 450 /* Individual days */
 451 a.cal-hide { text-decoration: none; }
 452
 453 /* Today */
 454  /* cell */
 455 table.cal td.cal-today {
 456   margin: 1px;
 457   border: 1px solid gray;
 458 }
 459  /* text */
 460 table.cal td.cal-today a.cal-hide {  }
 461 /**
 462  * Diff Output
 463  */
 464
 465 /* main box */
 466 .diff .block {
 467   background: #008;
 468   padding: 0.5ex 0.5em;
 469   margin:  0.5ex 0;
 470 }
 471
 472 /* individual lines */
 473 .diff .context { background: black; }
 474
 475 /* + - line prefix */
 476 .diff .block tt{
 477   font-weight: bold;
 478   font-family: monospace;
 479   margin-left: -.6em;
 480   color: black;
 481 }
 482
 483 .diff del, .diff ins {
 484   font-weight: bold;
 485   text-decoration: none;
 486 }
 487 .diff .original, .diff .deleted { background: #a40024; }
 488 .diff .final, .diff .added { background: #cfc; }
 489
 490 /* These don't work in NS4 -- it completely ignores <del> and <ins>. */
 491 .diff del { background: #a40024; }
 492 .diff ins { background: #9f9; }
 493
 494
 495 /**
 496  * PageHistory, Info
 497  */
 498 table.pageinfo {
 499  border: 1px solid #96c;
 500 }
 501 table.pageinfo td { background: black; }
 502 table.pageinfo td.pageinfo {
 503   border-right: 0.15em solid #639;
 504   font-weight: bold;
 505   color: #639;
 506   background: #203;
 507 }
 508 table.pageinfo td + td.pageinfo {
 509   border-right: 0;
 510 }
 511 .pageinfo-minoredit, .pageinfo-authorid {
 512   font-size: smaller;
 513   font-style: oblique;
 514 }
 515
 516
 517 /**
 518  * RecentChanges
 519  */
 520 .rssicon {
 521   border-color: #000;
 522   border-width: 2px;
 523 }
 524 .rc-major {
 525   color:       #fff;
 526   background:  #000;
 527   font-weight: normal;
 528   text-decoration: none;
 529 }
 530
 531 img.rssicon {
 532   vertical-align: top;
 533 }
 534 b.wikisummary {
 535   color:        #fff313;
 536   background:   #000;
 537   text-decoration: none;
 538   font-weight:  bold;
 539 }
 540
 541
 542 /**
 543  * Other
 544  */
 545 .printer { display: none; }
 546
 547 /* PHP Warnings */
 548 div.errors {
 549   color: red;
 550   background: black;
 551   border: medium solid red;
 552   clear: both;
 553 }
 554 .errors h4 {
 555   color: black;
 556   background: red;
 557   text-decoration: underline;
 558 }
 559 .error { font-family: monospace; }
 560 .error ul { font-family: monospace; }
 561
 562 /* Debug */
 563 .debug {
 564   color: white;
 565   background: black;
 566   font-family: monospace;
 567   font-size: smaller;
 568   margin-top:    16ex;
 569   margin-bottom: 4ex;
 570   margin-left:  0;
 571   margin-right: 0;
 572   padding: 0.5ex 0.5em;
 573   border: medium solid gray;
 574   display: table;
 575 }
 576
 577 .clear-floats {
 578   clear: both;
 579 }
 580 /**
 581  * Search Results
 582  */
 583 .search-context { background: white; font-style: oblique; }
 584 .search-term {
 585   background: yellow;
 586   font-weight: normal;
 587 }
 588
 589 /**
 590  * General
 591  */
 592 input.numeric { text-align: right; }
 593 input {
 594   margin: 0;
 595   border-left: 1px solid #0053db;
 596   border-right: 1px solid #0053db;
 597   border-top: 1px solid #0053db;
 598   border-bottom: 1px solid #0053db;
 599   text-align:  center;
 600 }
 601 input[type=text] {
 602   border-left: 2px solid #0053db;
 603   border-right: 2px solid #0053db;
 604   border-bottom: 2px solid #0053db;
 605   border-top: 0;
 606   margin-top: 2px;
 607   padding: 1px;
 608 }
 609 input[type=submit] {
 610   color: #0053db;
 611   border-left:   1.5em solid #0053db;
 612   border-right:  0.15em solid #0053db;
 613   border-top: 2px solid #0053db;
 614   border-bottom: 2px solid #0053db;
 615   padding-left:  0;
 616   padding-right: 0;
 617 }
 618 input[type=submit]:hover {
 619   color: #5791ff;
 620   border-color: #5791ff;
 621 }
 622
 623 .logo img {
 624   margin-bottom: 1ex;
 625 }
 626
 627 /**
 628  * Wiki Forms
 629  *
 630  * The div inside the wikiadmin upload form does not
 631  * have a class yet, so it must be referenced indirectly
 632  */
 633 /* div.wikiaction, div.wikiadmin { */
 634 div.wikiaction, form.wikiadmin div {
 635   /* Emulate the display behaviour of a table, to shrink it's width.
 636    * ie5.1Mac ignores this */
 637   position: relative;
 638   display: table;
 639 }
 640
 641 /* Add space between the input field and following buttons, but not after the last button. */
 642 div.wikiaction input[type=text],
 643 div.wikiadmin input[type=text],
 644 form.wikiadmin input[type=file] { margin-right: 0.5em; }
 645
 646
 647 /**
 648  * Links
 649  */
 650
 651 /* Make wikiaction links look futuristic */
 652 a.wikiaction {
 653   border-left:   1.5em solid #115511;
 654   border-right:  0.15em solid #115511;
 655   padding-left:  0.15em;
 656   padding-right: 0.3em;
 657 }
 658 a.wikiaction:hover {
 659   border-right: 0.15em solid #1bab11;
 660 }
 661
 662 a.wikiadmin {
 663   border-left:   1.5em solid #982505;
 664   border-right:  0.15em solid #982505;
 665   padding-left:  0.15em;
 666   padding-right: 0.3em;
 667 }
 668 a.wikiadmin:hover {
 669   border-right: .15em solid #ef0032;
 670 }
 671
 672 /* QuestionMark */
 673 .wikiunknown a, .named-wikiunknown a {
 674   border: 1px solid black;
 675   padding-left:  1px;
 676   padding-right: 1px;
 677   padding-top: 1px;
 678   margin-right: 1px;
 679   font-size: smaller; /* too small in NS4 */
 680 }
 681 .wikiunknown a:hover, .named-wikiunknown a:hover {
 682   border: 1px solid #403752;
 683 }
 684
 685 a.wiki-rc-action {
 686   border-left: 0.15em solid #0053db;
 687   padding-left: 0.2em;
 688   padding-right: 0.2em;
 689   padding-bottom: 0.2ex;
 690   margin-left: -0.25em;
 691 }
 692 li.rc-major a.wiki-rc-action,
 693 li.rc-minor a.wiki-rc-action {
 694   border-left: 0;
 695   margin-left: 0;
 696   border-right: 0.25em solid #0053db;
 697   padding-right: 0.25em;
 698   margin-right: 0.8em;
 699 }
 700 p.wiki-rc-action a.wiki-rc-action:first-child {
 701   border-left: 0;
 702   margin-left: 0;
 703   border-right: 0;
 704 }
 705 li.rc-major, li.rc-minor {
 706   display: table;
 707   /*border-bottom: 1px solid #222;*/
 708   margin-bottom: .25ex;
 709   padding-left: 0.25em;
 710   padding-right: 0.25em;
 711 }
 712 li.rc-minor {
 713   font-size: 75%;
 714   margin-top: .5ex;
 715   border-bottom: 0;
 716   padding-left: 1em;
 717 }
 718 li.rc-minor a.wiki-rc-action {
 719   border-right: 0.15em solid #0053db;
 720   margin-right: 2em;
 721 }
 722 li.rc-major a.wiki-rc-action:hover,
 723 li.rc-minor a.wiki-rc-action:hover,
 724 a.wiki-rc-action:hover {
 725   border-color: #5791ff;
 726 }
 727
 728 /* Link icons */
 729 img.linkicon { vertical-align: middle; }
 730
 731
 732 /**
 733  * Headings
 734  */
 735 h1 {
 736   padding-top:      0.25ex;
 737   padding-left:     0.5em;
 738   padding-right:    0.25em;
 739   padding-bottom:   1px;
 740 }
 741 div.toolbar h1 a.wiki, h1 a.backlinks {
 742   padding-top:      0.25ex;
 743   padding-left:     0.25em;
 744   padding-right:    0.25em;
 745   padding-bottom:   1px;
 746 }
 747 h2 a.wiki {
 748   padding-top:      0.25ex;
 749   padding-left:     0.25em;
 750   padding-right:    0.25em;
 751   padding-bottom:   1px;
 752 }
 753 div.toolbar input {
 754   text-align:  left;
 755 }
 756
 757
 758 /**
 759  * Edit Page & View Source
 760  */
 761 /* color: inherit; and background: inherit; display as lime in NS4 */
 762 div.transclusion { font-size: smaller; } /* too small in NS4 */
 763
 764
 765 /**
 766  * Diff Output
 767  */
 768 .diff .block div {
 769   position: relative;
 770   padding-left: 1.5em;
 771 }
 772 .diff .prefix {
 773   position: absolute;
 774   left: 0;
 775   top:  0;
 776 }
 777
 778
 779 .editdate {
 780   padding-top:    0.25ex;
 781   padding-left:   0.5em;
 782   padding-right:  0.5em;
 783   padding-bottom: 1px;
 784   margin-top:     2em;
 785   margin-bottom:  0ex;
 786
 787   border-left: 0.5em solid #96c;
 788   border-top: 0.15em solid #96c;
 789 }
 790
 791 div.toolbar .wiki {
 792   border-left:   1.5em solid #0053db;
 793   border-right:  0.15em solid #0053db;
 794   padding-left:  0.15em;
 795   padding-right: 0.3em;
 796 }
 797 div.toolbar .wiki:hover {
 798   border-right: 0.15em solid #5791ff;
 799 }
 800
 801 b.wikisummary {
 802   padding: 2px;
 803   margin: 1px;
 804 }
 805
 806 /**
 807  * Other
 808  */
 809 /* PHP Warnings */
 810 div.errors {
 811   font-size: smaller; /* too small in NS4 */
 812   margin-top:    4ex;
 813   margin-bottom: 2ex;
 814   padding: 0.5ex 0.25em;
 815 }
 816 .errors h4 {
 817   margin: 0;
 818   padding: 0.5ex 0.25em;
 819 }
 820
 821 .error {
 822   padding-left: 0.25em;
 823   padding-right: 0.25em;
 824 }
 825
 826 /*
 827  * table class="boxed"
 828  * will put a border around the table (but not around the cells)
 829  *
 830  * table class="bordered"
 831  * will put a border around the table and the cells
 832  *
 833  * In both cases, the caption will be bold and centered under the table
 834  *
 835  * In both cases, the headers (th) will have a "#d8d8d8" background
 836  */
 837
 838 table.boxed, table.bordered, table.bordered th, table.bordered td {
 839     border-width: 1px;
 840     border-style: solid;
 841     border-collapse: collapse;
 842     vertical-align: top;
 843 }
 844
 845 table.boxed td, table.bordered td,
 846 table.boxed th, table.bordered th {
 847     padding-left: 5px;
 848     padding-right: 5px;
 849     padding-top: 0px;
 850     padding-bottom: 0px;
 851 }
 852
 853 table.boxed caption, table.bordered caption {
 854     text-align: center;
 855     font-weight: bold;
 856     caption-side: bottom;
 857     padding-top: 0.8em;
 858 }
 859
 860 table.boxed th, table.bordered th {
 861     font-weight: bold;
 862     background-color: #d8d8d8;
 863 }
 864
 865 /* For emacs users
 866  *
 867  * Local Variables:
 868  * mode: c
 869  * c-file-style: cc-mode
 870  * End:
 871  */