Documentation/css/lilypond-website.css

   1 /* Generic elements */
   2
   3 html {
   4   padding: 0;
   5   margin: 0;
   6 }
   7
   8 body {
   9   position: absolute;
  10   top: 0;
  11   left: 0.5%;
  12   right: 0.5%;
  13   width: 99%;
  14   min-width: 42em;
  15   max-width: 70em;
  16   font-size: 95%;
  17   line-height: 1.5;
  18   background: #fff url(../pictures/background-image.png) no-repeat 0 0;
  19   text-align: justify;
  20   padding: 0;
  21   margin: 0 auto;
  22 }
  23
  24 hr {
  25   display: none;
  26 }
  27
  28 p {
  29   margin: 0.5em;
  30 }
  31
  32 h1, h2, h3, h4, h5 {
  33   margin: 1em 10px;
  34 }
  35
  36 li {
  37   margin-right: 1em;
  38 }
  39
  40 a img {
  41   border: 0;
  42 }
  43
  44 /* Hyperlinks */
  45
  46 /* no dotted line around clicked tabs */
  47 a:focus {
  48   outline-style: none;
  49 }
  50
  51 a:link {
  52   color: #0c51ab;
  53 }
  54
  55 a:visited {
  56   color: #804f01;
  57 }
  58
  59 a:hover {
  60   color: #0105ad;
  61 }
  62
  63 /* Table of Contents */
  64 /* first level toc (unnumbered) */
  65 div#tocframe {
  66   position: absolute;
  67   top: 0;
  68   left: 0;
  69   right: 0;
  70   background: #6aec7c url(../pictures/nav-bg.png) repeat-x top left;
  71   max-width: 70em;
  72   font-size: 100%;
  73   line-height: 1;
  74   padding: 0;
  75   -moz-border-radius-bottomleft: 7px;
  76   -moz-border-radius-bottomright: 7px;
  77   -webkit-border-bottom-left-radius: 7px;
  78   -webkit-border-bottom-right-radius: 7px;
  79   margin: 0;
  80 }
  81
  82 #tocframe a {
  83   color: #fff;
  84   text-decoration: none;
  85 }
  86
  87 #tocframe ul.toc {
  88   list-style-type: none;
  89   padding: 0;
  90   margin: 0;
  91 }
  92
  93 #tocframe > ul:first-child > li:first-child a {
  94   text-indent: -999em;
  95   background: #6aec7c url(../pictures/lily-home-nav-bg.png) no-repeat 50% 50%;
  96   width: 9%;
  97   /* css3 no go yet? */
  98   border-bottom-left-radius: 30px;
  99   -moz-border-radius-bottomleft: 7px;
 100   -webkit-border-bottom-left-radius: 7px;
 101 }
 102
 103 #tocframe > ul:first-child > li:first-child a:hover {
 104   background: #6aec7c url(../pictures/lily-home-nav-hover.png) no-repeat 50% 50%;
 105   width: 9%;
 106 }
 107
 108 #tocframe > ul:first-child > li:first-child.toc_current a {
 109   text-indent: -999em;
 110   background: url(../pictures/lily-home-nav-active.png) no-repeat 50% 50%;
 111   width: 9%;
 112 }
 113
 114 #tocframe > ul:first-child > li:first-child.toc_current a:hover {
 115   text-indent: -999em;
 116   background: url(../pictures/lily-home-nav-active.png) no-repeat 50% 50%;
 117   width: 9%;
 118 }
 119
 120 #tocframe > ul:first-child > li:last-child {
 121   width: 9%;
 122   -moz-border-radius-bottomright: 7px;
 123   -webkit-border-bottom-right-radius: 7px;
 124 }
 125
 126 #tocframe li {
 127   display: inline;
 128   padding: 0;
 129   margin: 0;
 130 }
 131
 132 /* search box */
 133 #tocframe li form {
 134   float: left;
 135   width: 17%;
 136   background: #6aec7c url(../pictures/nav-bg.png);
 137   font-size: 100%;
 138   padding: 0.45em 0.8%;
 139   margin: 0;
 140 }
 141
 142 #tocframe li form input {
 143   display: block;
 144   float: left;
 145   width: 95%;
 146   font-size: 100%;
 147   padding: 0.1em;
 148   border: 0;
 149   margin: 0;
 150   -moz-border-radius-topright: 20px;
 151   -moz-border-radius-bottomright: 20px;
 152   -webkit-border-top-right-radius: 20px;
 153   -webkit-border-bottom-right-radius: 20px;
 154 }
 155
 156 #tocframe li form input[type="hidden"] {
 157   position: relative;
 158   height: 0;
 159   overflow: hidden;
 160   text-indent: -999em;
 161   padding: 0;
 162   margin: 0;
 163 }
 164
 165 #tocframe li a {
 166   background: #6aec7c url(../pictures/nav-bg.png);
 167   float: left;
 168   width: 18%;
 169   text-align: center;
 170   font-weight: bold;
 171   padding: 0.68em 0;
 172   margin: 0;
 173 }
 174
 175 #tocframe li a:hover {
 176   background: url(../pictures/nav-hover.png);
 177 }
 178
 179 #tocframe li.toc_current a,
 180 #tocframe li.toc_current a:hover {
 181   background: url(../pictures/nav-active.png);
 182   color: #fff;
 183   text-decoration: underline;
 184 }
 185
 186 /* second level toc (unnumberedsec) */
 187 #tocframe .toc .toc {
 188   position: absolute;
 189   top: 3.8em;
 190   left: 0.5%;
 191   right: 0.5%;
 192   font-size: 82%;
 193   padding: 0;
 194   margin: 0;
 195 }
 196
 197 #tocframe .toc .toc li {
 198   display: inline;
 199   padding: 0;
 200   margin: 0;
 201 }
 202
 203 #tocframe .toc .toc li:first-child a {
 204   -moz-border-radius-topleft: 7px;
 205   -moz-border-radius-bottomleft: 7px;
 206   -webkit-border-top-left-radius: 7px;
 207   -webkit-border-bottom-left-radius: 7px;
 208 }
 209
 210 #tocframe .toc .toc li:last-child a {
 211   -moz-border-radius-topright: 7px;
 212   -moz-border-radius-bottomright: 7px;
 213   -webkit-border-top-right-radius: 7px;
 214   -webkit-border-bottom-right-radius: 7px;
 215 }
 216
 217 #tocframe .toc .toc li a {
 218   float: left;
 219   width: auto;
 220   background: #ceffae;
 221   line-height: 2;
 222   color: #000;
 223   text-decoration: none;
 224   text-indent: 0;
 225   font-weight: normal;
 226   padding: 0 0.5em;
 227   margin: 0;
 228 }
 229
 230 #tocframe .toc .toc li a:hover {
 231   background: #bdee9d;
 232 }
 233
 234 /* colored second-level TOC items */
 235 #tocframe .toc .toc li.color1 a {
 236   background: #9ccc7c url(../pictures/color1-bg.png) repeat-x top left;
 237 }
 238
 239 #tocframe .toc .toc li.color2 a {
 240   background: #bbcf81 url(../pictures/color2-bg.png) repeat-x top left;
 241 }
 242
 243 #tocframe .toc .toc li.color3 a {
 244   background: #dbd286 url(../pictures/color3-bg.png) repeat-x top left;
 245 }
 246
 247 #tocframe .toc .toc li.color4 a {
 248   background: #fad58c url(../pictures/color4-bg.png) repeat-x top left;
 249 }
 250
 251 #tocframe .toc .toc li.colorDefault a {
 252   background: #8cbc6c url(../pictures/nav-bg-2.png) repeat-x top left;
 253   color: #fff;
 254 }
 255
 256 #tocframe .toc .toc li.colorDefault a:hover {
 257   background: #8cbc6c url(../pictures/nav-hover-2.png) repeat-x top left;
 258   color: #fff;
 259 }
 260
 261 #tocframe .toc .toc li.color1 a:hover {
 262   background: #addd8d url(../pictures/color1-hover.png) repeat-x top left;
 263 }
 264
 265 #tocframe .toc .toc li.color2 a:hover {
 266   background: #ccdf92 url(../pictures/color2-hover.png) repeat-x top left;
 267 }
 268
 269 #tocframe .toc .toc li.color3 a:hover {
 270   background: #ece297 url(../pictures/color3-hover.png) repeat-x top left;
 271 }
 272
 273 #tocframe .toc .toc li.color4 a:hover {
 274   background: #fbe69d url(../pictures/color4-hover.png) repeat-x top left;
 275 }
 276
 277 #tocframe .toc .toc li.toc_current a,
 278 #tocframe .toc .toc li.toc_current a:hover {
 279   color: #000;
 280   text-decoration: underline;
 281 }
 282
 283 #tocframe .toc .toc li.colorDefault.toc_current a,
 284 #tocframe .toc .toc li.colorDefault.toc_current a:hover {
 285   background: #8cbc6c url(../pictures/nav-active-2.png) repeat-x top left;
 286   color: #fff;
 287   text-decoration: underline;
 288 }
 289
 290 #tocframe .toc .toc li.color1.toc_current a,
 291 #tocframe .toc .toc li.color1.toc_current a:hover {
 292   background: #beee9e url(../pictures/color1-active.png) repeat-x top left;
 293 }
 294
 295 #tocframe .toc .toc li.color2.toc_current a,
 296 #tocframe .toc .toc li.color2.toc_current a:hover {
 297   background: #ddefa3 url(../pictures/color2-active.png) repeat-x top left;
 298 }
 299
 300 #tocframe .toc .toc li.color3.toc_current a,
 301 #tocframe .toc .toc li.color3.toc_current a:hover {
 302   background: #fdf4a8 url(../pictures/color3-active.png) repeat-x top left;
 303 }
 304
 305 #tocframe .toc .toc li.color4.toc_current a,
 306 #tocframe .toc .toc li.color4.toc_current a:hover {
 307   background: #fcf7ae url(../pictures/color4-active.png) repeat-x top left;
 308 }
 309
 310 /* third level toc (unnumberedsubsec) */
 311 #tocframe .toc .toc .toc {
 312   position: absolute;
 313   top: 2em;
 314   left: 5%;
 315   font-size: 100%;
 316 }
 317
 318 #tocframe .toc .toc .toc li {
 319   display: inline;
 320   padding: 0;
 321   margin: 0;
 322 }
 323
 324 #tocframe .toc .toc .toc li a {
 325   float: left;
 326   width: auto;
 327   background: #ceffae;
 328   text-decoration: none;
 329   text-indent: 0;
 330   font-weight: normal;
 331   padding: 0 0.75em;
 332   margin: 0;
 333 }
 334
 335 #tocframe .toc .toc .toc li a:hover {
 336   background: #bdee9d;
 337 }
 338
 339 #tocframe .toc .toc .toc li.toc_current a {
 340   background: #acdd8c;
 341 }
 342
 343 #tocframe .toc .toc .toc li.toc_current a:hover {
 344   background: #acdd8c;
 345 }
 346
 347 /* Divs */
 348 div#main {
 349   position: relative;
 350   /* this value may need to be adjusted */
 351   top: 7.7em;
 352   left: 0;
 353   right: 0;
 354   width: 100%;
 355   max-width: 70em;
 356   margin: 0 auto 11.7em;
 357   /* Necessary to stretch over floated content;
 358    * will cause scrollbars to appear for content
 359    * that is wider than the width of this div.
 360    *
 361    * FIXME: This breaks Konqueror 3 and 4.
 362    */
 363   overflow: auto;
 364 }
 365
 366 /* FIXME: does not work in IE<=6 */
 367 #main > a:first-child {
 368   position: absolute;
 369   top: -10em;
 370 }
 371
 372 div#pageHeader {
 373   width: 100%;
 374   height: 10em;
 375   padding-top: 2em;
 376   border: solid #ddd;
 377   border-width: 0;
 378   margin: 0 0 1.4em 0;
 379 }
 380
 381 #pageHeader .heading {
 382   font-size: 4em;
 383   text-align: left;
 384   padding: 0;
 385   margin: 0 0 0 340px;
 386 }
 387
 388 #pageHeader p {
 389   font-size: 1.2em;
 390   font-style: italic;
 391   text-align: left;
 392   padding: 0;
 393   margin: 0 0 0 340px;
 394 }
 395
 396 div#lilylogo {
 397   position: absolute;
 398   top: 0;
 399   left: 0;
 400 }
 401
 402 div#cmws {
 403   position: absolute;
 404   top: 0;
 405   left: 50%;
 406 }
 407
 408 div#quickSummary {
 409   text-align: left;
 410   margin: 4em 13em 0 0;
 411 }
 412
 413 #quickSummary .subheading {
 414   background: #fff url(../pictures/summary-gradient.png) repeat-y 0 0;
 415   color: #fff;
 416   padding: 0 0.5em;
 417   margin: 0;
 418 }
 419
 420 #quickSummary p {
 421   padding: 0.5em;
 422   margin: 0;
 423 }
 424
 425 div.separator {
 426   background: transparent url(../pictures/squiggle.jpg) no-repeat 40% 60%;
 427   height: 36px;
 428   clear: both;
 429   padding: 10px;
 430 }
 431
 432 div#news {
 433   padding: 0;
 434   margin: 0 13em 1em 0;
 435 }
 436
 437 div.news-item {
 438 }
 439
 440 .news-item .subsubheading {
 441   text-align: left;
 442   padding: 0 0 0 0.5em;
 443   border-bottom: 1px solid #5b7f64;
 444   margin: 0;
 445   overflow: hidden;
 446 }
 447
 448 .testimonial-item {
 449   /* Not sure how to style the testimonials */
 450   clear: both;
 451   margin: 2em 0;
 452 }
 453
 454 .testimonial-item .subsubheading {
 455   text-align: left;
 456   padding: 0 0 0 0.5em;
 457 }
 458
 459 .testimonial-item img.float-left,
 460 .testimonial-item img.float-right {
 461   margin: 1em 1em 2em;
 462 }
 463
 464 .testimonial-item p {
 465   padding: 0 0.5em;
 466 }
 467
 468 .news-item p {
 469   text-align: left;
 470   padding: 0.5em;
 471   margin: 0;
 472 }
 473
 474 div#latestVersion {
 475   position: absolute;
 476   top: 16em;
 477   right: 0;
 478   width: 12em;
 479   text-align: center;
 480   border-left: 1px solid #5b7f64;
 481 }
 482
 483 div#wildCardBox {
 484   position: absolute;
 485   top: 0.0em;
 486   right: 0;
 487   width: 12em;
 488   text-align: center;
 489   border-left: 1px solid #5b7f64;
 490 }
 491
 492 #latestVersion .subheading {
 493   background: #5b7f64;
 494   color: #fff;
 495   text-align: center;
 496   padding: 0 0.5em;
 497   margin: 0;
 498 }
 499
 500 #wildCardBox .subheading {
 501   background: #5b7f64;
 502   color: #fff;
 503   text-align: center;
 504   padding: 0 0.5em;
 505   margin: 0;
 506 }
 507
 508 /* this might not work in certain browsers */
 509 a[name="Stable"] + h4 {
 510   background: #bdee9d url(../pictures/color1-bg.png) repeat-x top left;
 511 }
 512
 513 /* this might not work in certain browsers */
 514 a[name="Unstable"] + h4 {
 515   background: #fad58c url(../pictures/color3-bg.png) repeat-x top left;
 516 }
 517
 518 #latestVersion .subsubheading {
 519   padding: 0.08em 0.25em;
 520   border-bottom: 1px solid #5b7f64;
 521   margin: 0;
 522 }
 523
 524 #latestVersion p {
 525   font-size: 90%;
 526   padding: 0.5em;
 527   margin: 0;
 528 }
 529
 530 div#footer {
 531   clear: both;
 532   width: 100%;
 533   border-top: 10px solid #5b7f64;
 534 }
 535
 536 div#language {
 537   position: absolute;
 538   top: 0;
 539   left: 0;
 540   right: 50%;
 541   width: 50%;
 542   text-indent: 0.5em;
 543   padding: 0;
 544 }
 545
 546 #language h3 {
 547   padding: 0;
 548   border-bottom: 10px solid #5b7f64;
 549   margin: 0;
 550 }
 551
 552 #language p {
 553   padding: 0;
 554   margin: 0.25em 0 0 0;
 555 }
 556
 557 /* used on website; not certain about the above ones.
 558     see Issue 1105 */
 559 p#languages {
 560   float: left;
 561   width: 45%;
 562   padding: 0.7em;
 563   margin: 0;
 564   text-align: left;
 565 }
 566
 567 #verifier_texinfo {
 568   font-size: 0.8em;
 569   float: right;
 570   width: 48%;
 571   padding: 0.5em;
 572 }
 573
 574 #verifier_texinfo h3 {
 575   position: relative;
 576   height: 0;
 577   text-indent: -9999em;
 578   padding: 0;
 579   margin: 0;
 580 }
 581
 582 #verifier_texinfo img {
 583   vertical-align: middle;
 584   padding: 0;
 585   margin: 0 0 0 0.5em;
 586 }
 587
 588 #verifier_texinfo p {
 589   clear: right;
 590   text-align: right;
 591   padding: 0;
 592   margin: 0;
 593 }
 594
 595 h1.unnumbered, h2.unnumberedsec, h3.unnumberedsubsec {
 596   position: relative;
 597   height: 0;
 598   text-indent: -999em;
 599   padding: 0;
 600   margin: 0;
 601   overflow: hidden;
 602 }
 603
 604 table {
 605   text-align: left;
 606   padding: 0 0 0 0.5em;
 607   border-left: 3px solid green;
 608   margin: 1em 0 0 1em;
 609 }
 610
 611 table td {
 612   padding: 0.4em;
 613 }
 614
 615 table a {
 616   text-align: left;
 617 }
 618
 619 .verbatim {
 620   margin: 10px;
 621 }
 622
 623 .float-left {
 624   float: left;
 625 }
 626
 627 .float-center {
 628   text-align: center;
 629   display: block;
 630   margin: 0 auto;
 631 }
 632
 633 .float-right {
 634   float: right;
 635 }
 636
 637 img.float-left,
 638 img.float-right {
 639   background: #fff;
 640   padding: 1em;
 641   border: 1px solid #bbb;
 642   margin: 0.1em 0.5em;
 643 }
 644
 645 div.float-left a.clickable,
 646 div.float-center a.clickable,
 647 div.float-right a.clickable {
 648   text-decoration: overline;
 649   margin-left: 1em;
 650 }
 651
 652 .clear-both {
 653   clear: both;
 654 }
 655
 656 .align-right {
 657   text-align: right;
 658 }
 659
 660 .heading-center {
 661   text-align: center;
 662   width: 75%;
 663   margin: 0 auto;
 664 }
 665
 666 .heading-center h2 {
 667   padding: 0.25em 0;
 668   margin: 0;
 669 }
 670
 671 /* Columns */
 672 .column-center-top {
 673   float: left;
 674   width: 99.5%;
 675   text-align: left;
 676   border: 1px solid #9ccc7c;
 677   margin: 1em auto;
 678 }
 679
 680 /* color1 */
 681 .column-center-top h3 {
 682   background: #9ccc7c url(../pictures/color1-bg.png) repeat-x top left;
 683   text-align: left;
 684   border-bottom: 1px solid #9ccc7c;
 685 }
 686
 687 .column-left-top {
 688   float: left;
 689   width: 49%;
 690   margin: 1em 0;
 691 }
 692
 693 .column-left-bottom {
 694   clear: both;
 695   float: left;
 696   width: 49%;
 697   margin: 1em 0;
 698 }
 699
 700 .column-left-top,
 701 .column-left-bottom {
 702   border: 1px solid #adce82;
 703 }
 704
 705 /* color2 */
 706 .column-left-top h3,
 707 .column-left-bottom h3 {
 708   background: #adce82 url(../pictures/color2-bg.png) repeat-x top left;
 709   border-bottom: 1px solid #adce82;
 710 }
 711
 712 .column-right-top {
 713   float: right;
 714   width: 49%;
 715   margin: 1em 0;
 716 }
 717
 718 .column-right-bottom {
 719   float: right;
 720   width: 49%;
 721   margin: 1em 0;
 722 }
 723
 724 .column-right-top,
 725 .column-right-bottom {
 726   border: 1px solid #bdd088;
 727 }
 728
 729 /* color3 */
 730 .column-right-top h3,
 731 .column-right-bottom h3 {
 732   background: #bdd088 url(../pictures/color3-bg.png) repeat-x top left;
 733   border-bottom: 1px solid #bdd088;
 734 }
 735
 736 .column-center-bottom {
 737   clear: both;
 738   width: 99.5%;
 739   text-align: center;
 740   border: 1px solid #ccd38f;
 741   margin: 1em auto 0;
 742 }
 743
 744 /* color4 */
 745 .column-center-bottom h3 {
 746   background: #ccd38f url(../pictures/color4-bg.png) repeat-x top left;
 747   text-align: left;
 748   border-bottom: 1px solid #ccd38f;
 749 }
 750
 751 .column-center-top,
 752 .column-center-bottom,
 753 .column-left-top,
 754 .column-left-bottom,
 755 .column-right-top,
 756 .column-right-bottom {
 757   background: #f5fffa;
 758 }
 759
 760 .column-center-top h3,
 761 .column-center-bottom h3,
 762 .column-left-top h3,
 763 .column-left-bottom h3,
 764 .column-right-top h3,
 765 .column-right-bottom h3 {
 766   text-align: left;
 767   padding: 0 0.5em;
 768   margin: 0;
 769 }
 770
 771 .column-center-top h4,
 772 .column-center-bottom h4,
 773 .column-left-top h4,
 774 .column-left-bottom h4,
 775 .column-right-top h4,
 776 .column-right-bottom h4 {
 777   text-align: left;
 778   padding: 0.5em 0.5em 0;
 779   margin: 0 0 0.5em 0;
 780 }
 781
 782 .column-center-top ul,
 783 .column-center-bottom ul,
 784 .column-left-top ul,
 785 .column-left-bottom ul,
 786 .column-right-top ul,
 787 .column-right-bottom ul {
 788   list-style-type: none;
 789   padding: 0;
 790   margin: 0.5em 0;
 791 }
 792
 793 .column-center-top li,
 794 .column-center-bottom li,
 795 .column-left-top li,
 796 .column-left-bottom li,
 797 .column-right-top li,
 798 .column-right-bottom li {
 799   text-align: left;
 800   padding: 0 0.5em 0;
 801   margin: 0 0 0.5em 0;
 802 }
 803
 804 .column-center-top p,
 805 .column-center-bottom p,
 806 .column-left-top p,
 807 .column-left-bottom p,
 808 .column-right-top p,
 809 .column-right-bottom p {
 810   text-align: left;
 811 }
 812
 813 .column-center-top img.float-left,
 814 .column-center-top img.float-right,
 815 .column-center-bottom img.float-left,
 816 .column-center-bottom img.float-right,
 817 .column-left-top img.float-left,
 818 .column-left-top img.float-right,
 819 .column-left-bottom img.float-left,
 820 .column-left-bottom img.float-right,
 821 .column-right-top img.float-left,
 822 .column-right-top img.float-right,
 823 .column-right-bottom img.float-left,
 824 .column-right-bottom img.float-right {
 825   margin: 0.5em;
 826 }
 827
 828 /* Centered divs by color */
 829 div.color1,
 830 div.color2,
 831 div.color3,
 832 div.color4 {
 833   clear: both;
 834   width: 99.5%;
 835   background: #f5fffa;
 836   margin: 1em auto;
 837 }
 838
 839 div.color1 h3,
 840 div.color2 h3,
 841 div.color3 h3,
 842 div.color4 h3 {
 843   padding: 0 0.5em;
 844   margin: 0;
 845 }
 846
 847 div.color1 {
 848   border: 1px solid #9ccc7c;
 849   margin: 1em auto;
 850 }
 851
 852 div.color1 h3 {
 853   background: #9ccc7c;
 854   border-bottom: 1px solid #9ccc7c;
 855 }
 856
 857 div.color2 {
 858   border: 1px solid #adce82;
 859 }
 860
 861 div.color2 h3 {
 862   background: #adce82;
 863   border-bottom: 1px solid #adce82;
 864 }
 865
 866 div.color3 {
 867   border: 1px solid #bdd088;
 868 }
 869
 870 div.color3 h3 {
 871   background: #bdd088;
 872   border-bottom: 1px solid #bdd088;
 873 }
 874
 875 div.color4 {
 876   border: 1px solid #ccd38f;
 877 }
 878
 879 div.color4 h3 {
 880   background: #ccd38f;
 881   border-bottom: 1px solid #ccd38f;
 882 }
 883
 884 .keep-bullets ul {
 885   list-style-type: disc;
 886   padding: 0;
 887   margin: 0.5em 1.5em;
 888 }
 889
 890 .keep-bullets li {
 891   padding: 0;
 892 }
 893
 894 .normal-table table {
 895   padding : 0em;
 896   border-left: 2px;
 897   margin: 0em;
 898 }
 899
 900 .normal-table table td {
 901   padding: 0em;
 902 }
 903
 904 .normal-table table a {
 905 }
 906
 907 .normal-table p {
 908   line-height: 0.8;
 909 }
 910
 911 .example {
 912   position: relative;
 913   left: -2.5em;
 914   text-align: left;
 915 }
 916
 917 .h-scroll-auto {
 918   position: relative;
 919   left: 1em;
 920   width: 250px;
 921   overflow: auto;
 922 }
 923
 924 .warning {
 925   background: #eef;
 926   text-align: left;
 927   padding: 0;
 928   border: 1px solid green;
 929   /* Experimental rounded corners */
 930   -moz-border-radius: 10px;
 931   -webkit-border-radius: 10px;
 932   margin: 1em;
 933 }
 934
 935 .warning p {
 936   padding: 0.5em;
 937   margin: 0;
 938 }
 939
 940 .contactBox {
 941   float: left;
 942   background: #eef;
 943   text-align: left;
 944   border: 1px solid green;
 945   padding: 0;
 946   margin: 1em;
 947 }
 948
 949 .contactBox p {
 950   padding: 0.5em;
 951   margin: 0;
 952 }
 953
 954
 955 .hide {
 956   position: relative;
 957   text-indent: -999em;
 958   height: 0;
 959   overflow: hidden;
 960 }
 961
 962 .help {
 963   background: #f77;
 964   color: black;
 965   text-align: center;
 966   font-weight: bold;
 967   width: 75%;
 968   padding: 1em;
 969   border: 10px dotted green;
 970   margin: 1em auto;
 971 }
 972
 973 .legal {
 974   font-size: 0.6em;
 975 }
 976
 977 .link-headings a {
 978   font-weight: bold;
 979 }
 980
 981 .detail {
 982   font-size: 0.8em;
 983 }
 984
 985 .detail a {
 986   font-weight: normal;
 987 }
 988
 989 /* kill title, probably best done in the init file, though */
 990 h1.settitle {
 991   position: relative;
 992   height: 0;
 993   text-indent: -999em;
 994   padding: 0;
 995   margin: 0;
 996   overflow: hidden;
 997 }