themes/default/phpwiki.css

   1 /**
   2  * $Id: phpwiki.css,v 1.34 2004-05-13 11:55:20 rurban Exp $
   3  *
   4  * This incarnation of this stylesheet is a complete rewrite from the
   5  * ground up.
   6  *
   7  * Mozilla's "DOM Inspector" Sidebar was an invaluable troubleshooting
   8  * tool for mapping the more complex CSS node selectors, such as those
   9  * used to reference the various CalendarPlugin elements.
  10  */
  11
  12 /**
  13  * NS4 doesn't grok @import. This allows us to put things which
  14  * break NS4 in another file.
  15  */
  16 @import url(phpwiki-heavy.css);
  17
  18
  19 /**
  20  * General
  21  */
  22 img { border: 0ex; }
  23
  24 form { margin: 0ex; }
  25
  26 table {
  27   border-spacing: 1px;
  28   /* For Mozilla */
  29   empty-cells: show;
  30 }
  31
  32 caption {
  33   caption-side: top;
  34   text-align: left;
  35   margin-bottom: .5ex;
  36   /* Allow the caption to extend to the full page width
  37      Mac ie5.1 ignores this*/
  38   width: 100%;
  39 }
  40
  41
  42 /**
  43  * Wiki
  44  */
  45 body {
  46   /* ivory #ffe #fffff0*/
  47   background: #fffff0;
  48   font-family: Arial, Helvetica, sans-serif;
  49   font-size: 85%; /* The default is too large. But enlarge monospace below */
  50   margin: 1.5ex 1em;
  51 }
  52
  53 div.wikitext hr { height: 1px; }
  54
  55 div.wikitext pre { font-family: monospace; }
  56
  57
  58 /**
  59  * PageTypes
  60  */
  61 /* Main wiki text box */
  62 div.wikitext {
  63   margin-top:    1ex;
  64   margin-bottom: 0.5ex;
  65   background: white;
  66   /* Netscape 4 requires this 1px border.
  67      Without it, the paper borders below cause
  68      the white background to disappear. */
  69   border: 1px black solid;
  70   /* "paper" borders */
  71   border-top:  1px #e8e6df solid;
  72   border-left: 1px #e8e6df solid;
  73   border-bottom: 1px #d2d2d2 solid;
  74   border-right:  1px #b2b2b2 solid;
  75   padding-left:  0.8em;
  76   padding-right: 0.8em;
  77   padding-top:    0.5ex;
  78   padding-bottom: 0.5ex;
  79   /*This breaks Netscape 4: (display does not go full width).
  80    * width: auto;
  81    */
  82   clear: both;
  83 }
  84 /* .interwiki-map thead td { text-decoration: underline; } */
  85
  86 /* Mozilla RecentChanges Sidebar */
  87 body.sidebar {
  88   font-size: smaller;
  89   margin: 0.5em;
  90 }
  91 body.sidebar div.wikitext {
  92   padding: 0.5em;
  93 }
  94 body.sidebar div.wikitext ul { padding-left: 1em; }
  95 body.sidebar h2 { margin-top: 0; }
  96
  97
  98 /**
  99  * Wiki Forms
 100  *
 101  * The div inside the wikiadmin upload form does not
 102  * have a class yet, so it must be referenced indirectly
 103  */
 104 div.wikiaction { background-color: #eee; }
 105 /* div.wikiadmin { background-color: #fee; } */
 106 form.wikiadmin div { background-color: #fee; }
 107
 108
 109 /**
 110  * Link styles
 111  */
 112 .wiki, .named-wiki {
 113   text-decoration: none;
 114   /* font-weight: normal; */
 115   font-weight: bold;
 116 }
 117
 118 /* Action buttons */
 119 a.wikiaction, a.wikiadmin, a.wiki-rc-action, a.wikiunsafe,
 120 input.wikiaction, input.button, input.wikiadmin {
 121   text-decoration: none;
 122   font-family: Arial, Helvetica, sans-serif;
 123   /* don't wrap text buttons */
 124   white-space: nowrap;
 125   /*font-size: inherit; */
 126 }
 127
 128 a.wikiaction, a.wikiaction:visited, input.wikiaction, input.button { background-color: #ddd; }
 129
 130 .wikiunsafe { background-color: #fcc; }
 131
 132 a.wikiadmin, a.wikiadmin:visited, input.wikiadmin  { background-color: #fdd; }
 133
 134 /* Unknown links */
 135 .wikiunknown, .named-wikiunknown {
 136   font-weight: normal;
 137   font-size: 100%;
 138 }
 139  /* QuestionMark #600 */
 140 .wikiunknown a, .named-wikiunknown a {
 141   color: #447;
 142   background-color: #eee;
 143   text-decoration: none;
 144   font-weight: normal;
 145   font-size: smaller;
 146 }
 147
 148 /* Backlinks */
 149 .backlinks {
 150   text-decoration: underline;
 151   color: #006;
 152 }
 153 h1 .backlinks { text-decoration: underline; }
 154
 155 /* Interwiki links */
 156 /* .wikipage  { font-weight: bold; } */
 157 .wikipage  { font-weight: normal; }
 158 .interwiki { text-decoration: none; }
 159 .interwiki, i.interwiki .wikipage, em .interwiki .wikipage { font-style: oblique; }
 160 .interwiki .wikipage, i .interwiki, em .interwiki { font-style: normal; }
 161
 162
 163 /**
 164  * headings: Georgia
 165  */
 166 h1, h2, h3, h4, h5, h6 { font-family: Arial, Helvetica, sans-serif; }
 167
 168 h1 { margin: 0; font-size: 140% }
 169
 170
 171 /**
 172  * Tables
 173  */
 174 table, td { font-family: Arial, Helvetica, sans-serif; }
 175 caption { font-family: Arial, Helvetica, sans-serif; }
 176 .pagelist { }
 177 .pagelist thead td {
 178   background: #e8e8e8;
 179   text-decoration: none;
 180   font-weight: bold;
 181   font-size: smaller;
 182 }
 183 .pagelist thead td u { text-decoration: none; }
 184 .pagelist tr.evenrow { background: #eee; }
 185 .pagelist tr.oddrow  { background: white; }
 186 th.gridbutton {
 187   background-color: threedlightshadow;
 188   color: black;
 189   font-weight: normal;
 190   /*font-style: menu;*/
 191   margin: 5px 0px;
 192   max-height: 18px;
 193   padding-top: 5px;
 194   border-width: 1px;
 195   border-style: solid;
 196   border-color: threedhighlight threeddarkshadow threeddarkshadow threedhighlight;
 197 }
 198 input.gridbutton, a.gridbutton, a:hover.gridbutton, a:visited.gridbutton {
 199   text-decoration: none;
 200   font-size: small;
 201   font-weight: normal;
 202   /*font-style: menu;*/
 203   font-family: Tahoma, sans-serif, Arial, Helvetica;
 204   background-color: threedlightshadow;
 205   color: black;
 206 }
 207
 208
 209 /**
 210  * Toolbar
 211  */
 212 .toolbar, input.button, #signin { font-family: Arial, Helvetica, sans-serif; }
 213
 214 .toolbar {
 215   padding: 0;
 216   margin:  0;
 217 }
 218 #navbuttons {
 219   padding-right: 4em; /* wrap around logo */
 220   padding-bottom: 1ex; /* space for h1 */
 221 }
 222 .editdate {
 223   font-family: Arial, Helvetica, sans-serif;
 224   margin: 0;
 225   padding: 0;
 226   padding-top: 0.25ex;
 227 }
 228 #logo img {
 229   /* Netscape 4 requires this 1px border.
 230      Without it, the paper borders below cause
 231      the white background to disappear. */
 232   border: 1px black solid;
 233   /* "paper" borders */
 234   border-top:  1px #e8e6df solid;
 235   border-left: 1px #e8e6df solid;
 236   border-bottom: 1px #d2d2d2 solid;
 237   border-right:  1px #b2b2b2 solid;
 238 }
 239
 240 /**
 241  * Edit Page & View Source
 242  */
 243
 244 /* Make the textarea the full page width */
 245 textarea.wikiedit {
 246   width: 100%;
 247   margin-bottom: 0.5ex;
 248   margin-top:    0.5ex;
 249   padding: 2px;
 250 }
 251
 252 #editarea-size {
 253   margin-top: 1ex;
 254   text-align: right;
 255   font-size: smaller;
 256 }
 257 #search-replace {
 258   margin-top: 1ex;
 259   text-align: left;
 260   font-size: smaller;
 261 }
 262 /**
 263  * Search Results
 264  */
 265 .search-context { background: white; }
 266 .search-term {
 267   background: yellow;
 268   font-weight: normal;
 269 }
 270
 271 /* IncludePage plugin */
 272 .transclusion-title {
 273   text-align: right;
 274   font-style: oblique;
 275   font-size:  smaller;
 276   text-decoration: underline;
 277   margin-bottom: 0.25ex;
 278   margin-right:  0.25em;
 279 }
 280 .transclusion, .wiki-edithelp {
 281   font-size: smaller;
 282 }
 283 .transclusion {
 284   border: 1px solid gray;
 285   padding-left:  0.8em;
 286   padding-right: 0.8em;
 287   padding-top:     0px;
 288   padding-bottom:  0px;
 289   margin-left:   0.25em;
 290   margin-right:  0.25em;
 291   margin-bottom: 0.1ex;
 292 }
 293 .wiki-edithelp {
 294   background: white;
 295   border: medium solid #fff8dc; /* darker ivory */
 296   padding-left:  0.5em;
 297   padding-right: 0.5em;
 298   padding-top:    0.75ex;
 299   padding-bottom: 0.75ex;
 300   margin-left:  0;
 301   margin-right: 0;
 302   margin-top: 1ex;
 303   margin-bottom: 1ex;
 304 }
 305 .wiki-edithelp .wiki {
 306   /* color: #5454ff;*/
 307 }
 308 .wiki-edithelp p {
 309   font-family: Arial, Helvetica, sans-serif;
 310   padding-left:  0.5em;
 311   padding-right: 0.5em;
 312   padding-top:    0.5ex;
 313   padding-bottom: 0.5ex;
 314   margin: 0;
 315 }
 316
 317
 318 /**
 319  * Calendar plugin
 320  */
 321 table.cal {
 322   border: 1px outset gray;
 323   background: white;
 324   margin: 0.5ex 0.5em;
 325   padding: 1px;
 326   /* For Mozilla */
 327   empty-cells: hide;
 328 }
 329
 330 /* cells */
 331 table.cal td {
 332   background: white;
 333   text-align: right;
 334 }
 335
 336 /* Month-name header */
 337 table.cal-header { font-size: larger; }
 338 table.cal-header tr, table.cal-header td { text-align: center; }
 339 .cal-arrow {
 340   font-weight: bold;
 341   text-decoration: none;
 342 }
 343
 344 /* Day-names header */
 345 table.cal tbody tr .cal-dayname {  }
 346 .cal-dayname td {
 347   text-align: center;
 348   font-size: smaller;
 349   text-decoration: underline;
 350 }
 351
 352 /* Individual days */
 353 a.cal-hide { text-decoration: none; }
 354
 355 /* Today */
 356  /* cell */
 357 table.cal td.cal-today {
 358   margin: 1px;
 359   border: 1px solid gray;
 360 }
 361  /* text */
 362 table.cal td.cal-today a.cal-hide {  }
 363
 364 /**
 365  * Diff Output
 366  */
 367 /* main box */
 368 .diff {
 369   margin-top:    1ex;
 370   margin-bottom: 0.5ex;
 371   background: white;
 372   /* Netscape 4 requires this 1px border.
 373      Without it, the paper borders below cause
 374      the white background to disappear. */
 375   border: 1px #ccc solid;
 376   color: black;
 377   border-top: 1px solid #494f5d;
 378   border-left:  1px solid #494f5d;
 379   border-bottom:  1px solid #c6d2de;
 380   border-right: 1px solid #c6d2de;
 381   padding-top:    1px;
 382   padding-bottom: 1px;
 383   padding-left:  .125em;
 384   padding-right: .125em;
 385   padding: 0;
 386   /* "paper" borders */
 387   /*border-top: 2px #d2d2d2 solid;
 388   border-left:  2px #b2b2b2 solid;
 389   border-bottom:  2px #e8e6df solid;
 390   border-right: 2px #e8e6df solid;*/
 391 /*  padding-left:  0em;
 392   padding-bottom: 0ex;*/
 393 /*  border-style: inset;*/
 394   /*This breaks Netscape 4: (display does not go full width).
 395    * width: auto;
 396    */
 397   /* I'm not sure what the intent of this was, but it's
 398    *  not valid CSS: */
 399   /* display: editarea; */
 400   clear: both;
 401 }
 402 .diff .block {
 403   background: #ddd;
 404   padding-left: 1em;
 405   /* for NS4 */
 406   /*border: none;*/
 407 }
 408
 409 /* individual blocks */
 410 .diff .context {
 411   background: white;
 412   /* for NS4 */
 413   border: none;
 414 }
 415 /* entire difftextblock */
 416 .difftext {
 417   margin-top:    0;
 418   margin-bottom: 0;
 419   background: white;
 420   /* Netscape 4 requires this 1px border.
 421      Without it, the paper borders below cause
 422      the white background to disappear. */
 423   border: 1px black solid;
 424   /* "paper" borders */
 425   border-top:  1px #e8e6df solid;
 426   border-left: 1px #e8e6df solid;
 427   border-bottom: 1px #d2d2d2 solid;
 428   border-right:  1px #b2b2b2 solid;
 429   padding-left:  0em;
 430   padding-right: 0em;
 431   padding-top:    0ex;
 432   padding-bottom: 0ex;
 433   /*This breaks Netscape 4: (display does not go full width).
 434    * width: auto;
 435    */
 436   clear: both;
 437 }
 438 /* + - line prefix */
 439 .diff .block tt {
 440   font-weight: normal;
 441   font-family: monospace;
 442   color: black;
 443   /* for NS4 */
 444   margin-left: 0;
 445   border: none;
 446 }
 447 /* changed words */
 448 .diff del, .diff ins {
 449   font-weight: bold;
 450   text-decoration: none;
 451 }
 452
 453 /* blocks containing deleted or added words */
 454 .diff .original, .diff .deleted,
 455 .diff .final, .diff .added {
 456   background: white;
 457 }
 458 /* blocks containing deleted words */
 459 .diff .original, .diff .deleted {
 460   background: #fcc;
 461   /* for NS4 */
 462   border: none;
 463 }
 464 /* blocks containing added words */
 465 .diff .final, .diff .added {
 466   background: #cfc;
 467   /* for NS4 */
 468   border: none;
 469 }
 470
 471 /* These don't work in NS4 -- it completely ignores <del> and <ins>. */
 472 /* deleted words */
 473 .diff del { background: #f99; }
 474 /* added words */
 475 .diff ins { background: #9f9; }
 476
 477
 478 /**
 479  * PageHistory, Info
 480  */
 481 td.pageinfo { font-weight: bold; }
 482 .pageinfo-minoredit, .pageinfo-authorid {
 483   font-size: smaller;
 484   font-style: oblique;
 485 }
 486
 487
 488 /**
 489  * Other
 490  */
 491 .printer, .no-css { display: none; }
 492
 493 /* PHP Warnings */
 494 div.errors {
 495   color: black;
 496   background: #eee;
 497   margin-top:    1em;
 498   margin-bottom: 1em;
 499   padding-left:  0.8em;
 500   padding-right: 0.8em;
 501   padding-top:    0.8ex;
 502   padding-bottom: 0;
 503   border: medium solid red;
 504   clear: both;
 505 }
 506 .errors h4 {
 507   color: red;
 508   margin:  0;
 509   padding: 0;
 510   text-decoration: underline;
 511 }
 512 .error { font-family: monospace; font-size: 120%; }
 513 .error ul { font-family: monospace; }
 514
 515 /* Debug */
 516 .debug {
 517   color: black;
 518   background: white;
 519   font-family: monospace;
 520   font-size: smaller;
 521   margin: 1ex 0;
 522   padding: 0.5ex 0.5em;
 523   border: medium solid #fff8dc; /* darker ivory */
 524 }
 525
 526 /* Hints */
 527 .hint {
 528   color: black;
 529   background: #eeeeee;
 530    /* font-size: smaller; */
 531   font-style: italic;
 532   margin-left: 3em;
 533   padding: 0.5ex 0.5em;
 534   border: thin solid #aaaaaa;
 535 }
 536 span.hint {
 537   padding: 0;
 538 }
 539
 540 /* Disabled Plugins */
 541 .disabled-plugin
 542 {
 543   clear: both;
 544   margin: 1ex 0;
 545   padding: 0;
 546 }
 547 .disabled-plugin .title {
 548   color: #400;
 549   background-color: inherit;
 550   font-size: x-small;
 551   text-align: right;
 552   padding: 0 0.5em;
 553 }
 554 .disabled-plugin pre {
 555   color: black;
 556   background: #ddd;
 557   margin: 0;
 558   padding: 0.3ex 0.5em;
 559 }
 560
 561 /* "(Redirected from ...)" message. */
 562 span.redirectfrom {
 563   font-size: small;
 564   font-style: oblique;
 565   font-weight: normal;
 566   padding-left: 1em;
 567 }
 568
 569
 570 /*
 571  * Vertical margins around block elements.
 572  */
 573
 574 p { margin: 1em 0; }            /* Normal ("loose") paragraphs */
 575 li p, dd p, td p { margin: 1ex 0; } /* Paragraphs within lists are a little tighter. */
 576
 577 /* ul, ol, dl { margin: 0.2ex 0; }      /* A little room around lists. */
 578 /* li ul, li ol, li dl,
 579 dd ul, dd ol, dd dl { margin: 0 0; } /* but not around sub-lists. */
 580
 581 /* Normal ("loose") list elements */
 582 li.tightenable { margin: 1em 0; }
 583 dt.tightenable { margin-top: 1em; }
 584 dd.tightenable { margin-bottom: 1.5ex; }
 585
 586
 587 li.tightenable.top,
 588 dt.tightenable.top,
 589 dd.tightenable.top {
 590   margin-top: 0.2ex;
 591 }
 592 li li.tightenable.top {
 593   margin-top: 0;
 594 }
 595 li.tightenable.bottom,
 596 dd.tightenable.bottom {
 597   margin-bottom: 0.2ex;
 598 }
 599 li li.tightenable.bottom {
 600   margin-bottom: 0;
 601 }
 602
 603 .tightenable.top {
 604   margin-top: 0;
 605 }
 606 .tightenable.bottom {
 607   margin-bottom: 0;
 608 }
 609
 610 /*
 611  * "DL tables"
 612  */
 613 .wiki-dl-table {
 614   border-collapse: collapse;
 615   border: 2px #444 solid;
 616 }
 617 .wiki-dl-table tr {
 618   border-top: 2px #444 solid;
 619   border-bottom: 2px #444 solid;
 620   border-left: none;
 621   border-right: none;
 622 }
 623 .wiki-dl-table tr.tightenable.top {
 624   border-top: 1px #444 solid;
 625 }
 626 .wiki-dl-table tr.tightenable.bottom {
 627   border-bottom: 1px #444 solid;
 628 }
 629 .wiki-dl-table th,
 630 .wiki-dl-table td {
 631   padding: 0.25em 0.5em;
 632 }
 633 .wiki-dl-table th {
 634   vertical-align: top;
 635   text-align: right;
 636   border-right: 1px #444 solid;
 637   border-left: none;
 638   border-top: none;
 639   border-bottom: none;
 640 }
 641 .wiki-dl-table td {
 642   border: none;
 643 }
 644
 645 /*
 646  * "E-mail" style blockquote
 647  */
 648 blockquote.mail-style-quote {
 649   border-left: medium #284 solid;
 650   padding-left: 1em;
 651   margin-left: 0;
 652   margin-right: 0;
 653 }
 654 .mail-style-quote blockquote.mail-style-quote {
 655   margin-left: -0.6em;
 656 }
 657
 658
 659 /*
 660  * wikiblog
 661  */
 662 .floatleft { float: left; }
 663 .floatright { float: right; }
 664
 665 div.wikiblog {
 666   border: thin black solid;
 667   margin: 1ex 2em;
 668   padding: 0 0;
 669 }
 670 div.wikiblog > div {
 671   margin: 0 0;
 672   padding: 0.5ex 0.5em;
 673 }
 674 div.wikiblog-header {
 675   background-color: #ccf;
 676 }
 677 div.wikiblog > div.wikiblog-footer {
 678   background-color: #eee;
 679   padding: 0.2ex 0.5em;
 680 }
 681 h3.wikiblog-summary {
 682   font-size: medium;
 683   font-weight: bold;
 684   margin: 0 0 1ex 0;
 685 }
 686
 687 div.wikiblog.wikiblog-form {
 688   background-color: #eee;
 689 }
 690
 691 table.wikiblog-form {
 692   width: auto;
 693   border-collapse: collapse;
 694   margin: 0.25em 0;
 695 }
 696 .wikiblog-form caption {
 697   background-color: #ccf;
 698   caption-side: top;
 699   font-weight: bold;
 700   text-align: left;
 701   padding: 0.5ex 0.5em;
 702 }
 703 .wikiblog-form th {
 704   vertical-align: top;
 705   text-align: right;
 706   padding: 0 0 0.3em 0.5em;
 707 }
 708 .wikiblog-form td {
 709   padding: 0.25em 0.5em;
 710 }
 711 .wikiblog-form td.submit-button {
 712   padding: 0;
 713 }
 714 .wikiblog-form input[type=text],
 715 .wikiblog-form textarea {
 716   margin: 0 0;
 717   width: 100%;
 718 }
 719 div.wikicomment div.wikicomment-footer {
 720   padding: 0.2ex 0.5em;
 721 }
 722 div.wikicomment div.wikicomment-footer named-wiki {
 723   font-size: small;
 724 }
 725 table.interwiki-map {
 726   margin: 1em 2em;
 727 }
 728 .interwiki-map th {
 729   text-decoration: underline;
 730   text-align: left;
 731   padding-left: 1em;
 732 }
 733 .interwiki-map td.interwiki-url {
 734   padding-left: 2em;
 735 }
 736 .interwiki-map th.interwiki-url {
 737   padding-left: 3em;
 738 }
 739
 740 .dialog {
 741   background-color: #cdf;
 742   color: black;
 743   margin: 2em auto 2em auto;
 744   border: thin black solid;
 745   width: 50%;
 746 }
 747 .dialog h1, .dialog p, .dialog div {
 748   text-align: center;
 749 }
 750 .dialog h1 {
 751   font-size: large;
 752   margin: 0.5em 0 1em 0;
 753 }
 754 .dialog div.message {
 755   background-color: white;
 756   color: black;
 757   color: black;
 758   margin: 0 1em;
 759   padding: 0.5em 0.5em;
 760 }
 761 .dialog p.buttons {
 762   margin: 1em 0 0.5em 0;
 763 }
 764
 765
 766 .clear-floats {
 767   clear: both;
 768 }
 769
 770
 771 /* postnuke css:*/
 772 .gensmall{font-size:10px}
 773 .genmed{font-size:11px}
 774 td.cat{font-weight:bold;letter-spacing:1px;color:#000000;background: url(./images/cellpic1.png);height:27px}
 775 /* Main table cell colours and backgrounds */
 776 td.row1{background:#eaedf4;color:#000000}
 777 td.row2{background:#d9e2ec;color:#000000}
 778 td.row3{background:#cad9ea;color:#000000}
 779 td.spacerow{background:#cad9ea;color:#000000}
 780
 781 /* This is the outline round the main forum tables */
 782 .forumline{background:#ffffff;color:#000000;border:1px solid #006699}
 783
 784 /* Sidebar */
 785 .box { background:#ffffff; border: 1px solid #888888 }
 786 .box-title { font-weight: bold; font-size: 11pt; background-color: #cdcdcd; color: black; /*font-style: menu;*/ }
 787 .box-data { width: 160px; font-size: 9pt; font-weight: normal; }
 788 .box-data .wiki { font-weight: normal; }
 789 table.sidebar { border-spacing: 0px; margin: 0ex;}
 790
 791 /* RssFeed */
 792 div.rss { margin: 1em; padding: 1em; font-size: 0.9em; background-color: #eeeeee; border: thin dashed #aaa; }
 793 div.feed { color: #333; margin: -0.5em; margin-bottom: 0em; padding: 0.3em; font-weight: bold; background-color: #f2f2f2; font-size: 1.2em; }
 794 div.itemdesc {  padding-left: 1em; }
 795 div.rssitem { border-top: thin dashed #aaa; }
 796
 797 /* SqlResult */
 798 table.sqlresult {
 799   border: 1px outset gray;
 800   background: white;
 801   margin: 0.5ex 0.5em;
 802   padding: 1px;
 803 }
 804 .sqlresult tr.evenrow { background: #eee; }
 805 .sqlresult tr.oddrow  { background: white; }
 806 table.sqlresult td {
 807   margin: 1px;
 808   border: 1px solid gray;
 809 }
 810
 811
 812 /* For emacs users
 813  *
 814  * Local Variables:
 815  * mode: c
 816  * c-file-style: cc-mode
 817  * End:
 818  */