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