Documentation/css/lilypond-web.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.toc_current a,
 252 #tocframe .toc .toc li.toc_current a:hover {
 253   color: #000;
 254   text-decoration: underline;
 255 }
 256
 257 /* having this useless style makes the perl init file easier */
 258 #tocframe .toc .toc li.colorDefault a,
 259 #tocframe .toc .toc li.colorDefault a:hover {
 260   background: #8cbc6c url(../pictures/nav-active-2.png) repeat-x top left;
 261   color: #fff;
 262   text-decoration: underline;
 263 }
 264
 265 #tocframe .toc .toc li.color1 a:hover {
 266   background: #addd8d url(../pictures/color1-hover.png) repeat-x top left;
 267 }
 268
 269 #tocframe .toc .toc li.color2 a:hover {
 270   background: #ccdf92 url(../pictures/color2-hover.png) repeat-x top left;
 271 }
 272
 273 #tocframe .toc .toc li.color3 a:hover {
 274   background: #ece297 url(../pictures/color3-hover.png) repeat-x top left;
 275 }
 276
 277 #tocframe .toc .toc li.color4 a:hover {
 278   background: #fbe69d url(../pictures/color4-hover.png) repeat-x top left;
 279 }
 280
 281 #tocframe .toc .toc li.color1.toc_current a,
 282 #tocframe .toc .toc li.color1.toc_current a:hover {
 283   background: #beee9e url(../pictures/color1-active.png) repeat-x top left;
 284 }
 285
 286 #tocframe .toc .toc li.color2.toc_current a,
 287 #tocframe .toc .toc li.color2.toc_current a:hover {
 288   background: #ddefa3 url(../pictures/color2-active.png) repeat-x top left;
 289 }
 290
 291 #tocframe .toc .toc li.color3.toc_current a,
 292 #tocframe .toc .toc li.color3.toc_current a:hover {
 293   background: #fdf4a8 url(../pictures/color3-active.png) repeat-x top left;
 294 }
 295
 296 #tocframe .toc .toc li.color4.toc_current a,
 297 #tocframe .toc .toc li.color4.toc_current a:hover {
 298   background: #fcf7ae url(../pictures/color4-active.png) repeat-x top left;
 299 }
 300
 301 /* third level toc (unnumberedsubsec) */
 302 #tocframe .toc .toc .toc {
 303   position: absolute;
 304   top: 2em;
 305   left: 5%;
 306   font-size: 100%;
 307 }
 308
 309 #tocframe .toc .toc .toc li {
 310   display: inline;
 311   padding: 0;
 312   margin: 0;
 313 }
 314
 315 #tocframe .toc .toc .toc li a {
 316   float: left;
 317   width: auto;
 318   background: #ceffae;
 319   text-decoration: none;
 320   text-indent: 0;
 321   font-weight: normal;
 322   padding: 0 0.75em;
 323   margin: 0;
 324 }
 325
 326 #tocframe .toc .toc .toc li a:hover {
 327   background: #bdee9d;
 328 }
 329
 330 #tocframe .toc .toc .toc li.toc_current a {
 331   background: #acdd8c;
 332 }
 333
 334 #tocframe .toc .toc .toc li.toc_current a:hover {
 335   background: #acdd8c;
 336 }
 337
 338 /* Divs */
 339 div#main {
 340   position: relative;
 341   /* this value may need to be adjusted */
 342   top: 7.7em;
 343   left: 0;
 344   right: 0;
 345   width: 100%;
 346   max-width: 70em;
 347   margin: 0 auto 11.7em;
 348   /* Necessary to stretch over floated content;
 349    * will cause scrollbars to appear for content
 350    * that is wider than the width of this div.
 351    *
 352    * FIXME: This breaks Konqueror 3 and 4.
 353    */
 354   overflow: auto;
 355 }
 356
 357 /* FIXME: does not work in IE<=6 */
 358 #main > a:first-child {
 359   position: absolute;
 360   top: -10em;
 361 }
 362
 363 div#pageHeader {
 364   width: 100%;
 365   height: 10em;
 366   padding-top: 2em;
 367   border: solid #ddd;
 368   border-width: 0;
 369   margin: 0 0 1.4em 0;
 370 }
 371
 372 #pageHeader .heading {
 373   font-size: 4em;
 374   text-align: left;
 375   padding: 0;
 376   margin: 0 0 0 340px;
 377 }
 378
 379 #pageHeader p {
 380   font-size: 1.2em;
 381   font-style: italic;
 382   text-align: left;
 383   padding: 0;
 384   margin: 0 0 0 340px;
 385 }
 386
 387 div#lilylogo {
 388   position: absolute;
 389   top: 0;
 390   left: 0;
 391 }
 392
 393 div#cmws {
 394   position: absolute;
 395   top: 0;
 396   left: 50%;
 397 }
 398
 399 div#quickSummary {
 400   text-align: left;
 401   margin: 4em 13em 0 0;
 402 }
 403
 404 #quickSummary .subheading {
 405   background: #fff url(../pictures/summary-gradient.png) repeat-y 0 0;
 406   color: #fff;
 407   padding: 0 0.5em;
 408   margin: 0;
 409 }
 410
 411 #quickSummary p {
 412   padding: 0.5em;
 413   margin: 0;
 414 }
 415
 416 div.separator {
 417   background: transparent url(../pictures/squiggle.jpg) no-repeat 40% 60%;
 418   height: 36px;
 419   clear: both;
 420   padding: 10px;
 421 }
 422
 423 div#news {
 424   padding: 0;
 425   margin: 0 13em 1em 0;
 426 }
 427
 428 div.news-item {
 429 }
 430
 431 .news-item .subsubheading {
 432   text-align: left;
 433   padding: 0 0 0 0.5em;
 434   border-bottom: 1px solid #5b7f64;
 435   margin: 0;
 436   overflow: hidden;
 437 }
 438
 439 .testimonial-item {
 440   /* Not sure how to style the testimonials */
 441   clear: both;
 442   margin: 2em 0;
 443 }
 444
 445 .testimonial-item .subsubheading {
 446   text-align: left;
 447   padding: 0 0 0 0.5em;
 448 }
 449
 450 .testimonial-item img.float-left,
 451 .testimonial-item img.float-right {
 452   margin: 1em 1em 2em;
 453 }
 454
 455 .testimonial-item p {
 456   padding: 0 0.5em;
 457 }
 458
 459 .news-item p {
 460   text-align: left;
 461   padding: 0.5em;
 462   margin: 0;
 463 }
 464
 465 div#latestVersion {
 466   position: absolute;
 467   top: 12.4em;
 468   right: 0;
 469   width: 12em;
 470   text-align: center;
 471   border-left: 1px solid #5b7f64;
 472 }
 473
 474 #latestVersion .subheading {
 475   background: #5b7f64;
 476   color: #fff;
 477   text-align: center;
 478   padding: 0 0.5em;
 479   margin: 0;
 480 }
 481
 482 /* this might not work in certain browsers */
 483 a[name="Stable"] + h4 {
 484   background: #bdee9d url(../pictures/color1-bg.png) repeat-x top left;
 485 }
 486
 487 /* this might not work in certain browsers */
 488 a[name="Unstable"] + h4 {
 489   background: #fad58c url(../pictures/color3-bg.png) repeat-x top left;
 490 }
 491
 492 #latestVersion .subsubheading {
 493   padding: 0.08em 0.25em;
 494   border-bottom: 1px solid #5b7f64;
 495   margin: 0;
 496 }
 497
 498 #latestVersion p {
 499   font-size: 90%;
 500   padding: 0.5em;
 501   margin: 0;
 502 }
 503
 504 div#footer {
 505   clear: both;
 506   position: relative;
 507   width: 100%;
 508   /* FIXME: may need to be adjusted */
 509   margin-top: 7em;
 510 }
 511
 512 div#language {
 513   position: absolute;
 514   top: 0;
 515   left: 0;
 516   right: 50%;
 517   width: 50%;
 518   text-indent: 0.5em;
 519   padding: 0;
 520 }
 521
 522 #language h3 {
 523   padding: 0;
 524   border-bottom: 10px solid #5b7f64;
 525   margin: 0;
 526 }
 527
 528 #language p {
 529   padding: 0;
 530   margin: 0.25em 0 0 0;
 531 }
 532
 533 #verifier_texinfo {
 534   position: relative;
 535   bottom: 0;
 536   right: 0;
 537   left: 50%;
 538   width: 50%;
 539 }
 540
 541 #verifier_texinfo h3 {
 542   text-indent: -9999em;
 543   padding: 0;
 544   border-bottom: 10px solid #5b7f64;
 545   margin: 0 0 0.25em 0;
 546 }
 547
 548 #verifier_texinfo img {
 549 /*
 550   float: right;
 551 */
 552   padding: 0;
 553   margin: 0 0.5em 0 0;
 554 }
 555
 556 #verifier_texinfo p {
 557   clear: right;
 558   text-align: right;
 559   font-size: 0.8em;
 560   padding: 0;
 561   margin: 0 0.5em;
 562 }
 563
 564 h1.unnumbered, h2.unnumberedsec, h3.unnumberedsubsec {
 565   position: relative;
 566   height: 0;
 567   text-indent: -999em;
 568   padding: 0;
 569   margin: 0;
 570   overflow: hidden;
 571 }
 572
 573 table {
 574   text-align: left;
 575   padding: 0 0 0 0.5em;
 576   border-left: 3px solid green;
 577   margin: 1em 0 0 1em;
 578 }
 579
 580 table td {
 581   padding: 0.4em;
 582 }
 583
 584 table a {
 585   text-align: left;
 586 }
 587
 588 .verbatim {
 589   margin: 10px;
 590 }
 591
 592 .float-left {
 593   float: left;
 594 }
 595
 596 .float-center {
 597   text-align: center;
 598   display: block;
 599   margin: 0 auto;
 600 }
 601
 602 .float-right {
 603   float: right;
 604 }
 605
 606 img.float-left,
 607 img.float-right {
 608   background: #fff;
 609   padding: 1em;
 610   border: 1px solid #bbb;
 611   margin: 0.1em 0.5em;
 612 }
 613
 614 div.float-left a.clickable,
 615 div.float-center a.clickable,
 616 div.float-right a.clickable {
 617   text-decoration: overline;
 618   margin-left: 1em;
 619 }
 620
 621 .clear-both {
 622   clear: both;
 623 }
 624
 625 .align-right {
 626   text-align: right;
 627 }
 628
 629 .heading-center {
 630   text-align: center;
 631   width: 75%;
 632   margin: 0 auto;
 633 }
 634
 635 .heading-center h2 {
 636   padding: 0.25em 0;
 637   margin: 0;
 638 }
 639
 640 /* Columns */
 641 .column-center-top {
 642   float: left;
 643   width: 99.5%;
 644   text-align: left;
 645   border: 1px solid #9ccc7c;
 646   margin: 1em auto;
 647 }
 648
 649 /* color1 */
 650 .column-center-top h3 {
 651   background: #9ccc7c url(../pictures/color1-bg.png) repeat-x top left;
 652   text-align: left;
 653   border-bottom: 1px solid #9ccc7c;
 654 }
 655
 656 .column-left-top {
 657   float: left;
 658   width: 49%;
 659   margin: 1em 0;
 660 }
 661
 662 .column-left-bottom {
 663   clear: both;
 664   float: left;
 665   width: 49%;
 666   margin: 1em 0;
 667 }
 668
 669 .column-left-top,
 670 .column-left-bottom {
 671   border: 1px solid #adce82;
 672 }
 673
 674 /* color2 */
 675 .column-left-top h3,
 676 .column-left-bottom h3 {
 677   background: #adce82 url(../pictures/color2-bg.png) repeat-x top left;
 678   border-bottom: 1px solid #adce82;
 679 }
 680
 681 .column-right-top {
 682   float: right;
 683   width: 49%;
 684   margin: 1em 0;
 685 }
 686
 687 .column-right-bottom {
 688   float: right;
 689   width: 49%;
 690   margin: 1em 0;
 691 }
 692
 693 .column-right-top,
 694 .column-right-bottom {
 695   border: 1px solid #bdd088;
 696 }
 697
 698 /* color3 */
 699 .column-right-top h3,
 700 .column-right-bottom h3 {
 701   background: #bdd088 url(../pictures/color3-bg.png) repeat-x top left;
 702   border-bottom: 1px solid #bdd088;
 703 }
 704
 705 .column-center-bottom {
 706   clear: both;
 707   width: 99.5%;
 708   text-align: center;
 709   border: 1px solid #ccd38f;
 710   margin: 1em auto 0;
 711 }
 712
 713 /* color4 */
 714 .column-center-bottom h3 {
 715   background: #ccd38f url(../pictures/color4-bg.png) repeat-x top left;
 716   text-align: left;
 717   border-bottom: 1px solid #ccd38f;
 718 }
 719
 720 .column-center-top,
 721 .column-center-bottom,
 722 .column-left-top,
 723 .column-left-bottom,
 724 .column-right-top,
 725 .column-right-bottom {
 726   background: #f5fffa;
 727 }
 728
 729 .column-center-top h3,
 730 .column-center-bottom h3,
 731 .column-left-top h3,
 732 .column-left-bottom h3,
 733 .column-right-top h3,
 734 .column-right-bottom h3 {
 735   text-align: left;
 736   padding: 0 0.5em;
 737   margin: 0;
 738 }
 739
 740 .column-center-top h4,
 741 .column-center-bottom h4,
 742 .column-left-top h4,
 743 .column-left-bottom h4,
 744 .column-right-top h4,
 745 .column-right-bottom h4 {
 746   text-align: left;
 747   padding: 0.5em 0.5em 0;
 748   margin: 0 0 0.5em 0;
 749 }
 750
 751 .column-center-top ul,
 752 .column-center-bottom ul,
 753 .column-left-top ul,
 754 .column-left-bottom ul,
 755 .column-right-top ul,
 756 .column-right-bottom ul {
 757   list-style-type: none;
 758   padding: 0;
 759   margin: 0.5em 0;
 760 }
 761
 762 .column-center-top li,
 763 .column-center-bottom li,
 764 .column-left-top li,
 765 .column-left-bottom li,
 766 .column-right-top li,
 767 .column-right-bottom li {
 768   text-align: left;
 769   padding: 0 0.5em 0;
 770   margin: 0 0 0.5em 0;
 771 }
 772
 773 .column-center-top p,
 774 .column-center-bottom p,
 775 .column-left-top p,
 776 .column-left-bottom p,
 777 .column-right-top p,
 778 .column-right-bottom p {
 779   text-align: left;
 780 }
 781
 782 .column-center-top img.float-left,
 783 .column-center-top img.float-right,
 784 .column-center-bottom img.float-left,
 785 .column-center-bottom img.float-right,
 786 .column-left-top img.float-left,
 787 .column-left-top img.float-right,
 788 .column-left-bottom img.float-left,
 789 .column-left-bottom img.float-right,
 790 .column-right-top img.float-left,
 791 .column-right-top img.float-right,
 792 .column-right-bottom img.float-left,
 793 .column-right-bottom img.float-right {
 794   margin: 0.5em;
 795 }
 796
 797 /* Centered divs by color */
 798 div.color1,
 799 div.color2,
 800 div.color3,
 801 div.color4 {
 802   clear: both;
 803   width: 99.5%;
 804   background: #f5fffa;
 805   margin: 1em auto;
 806 }
 807
 808 div.color1 h3,
 809 div.color2 h3,
 810 div.color3 h3,
 811 div.color4 h3 {
 812   padding: 0 0.5em;
 813   margin: 0;
 814 }
 815
 816 div.color1 {
 817   border: 1px solid #9ccc7c;
 818   margin: 1em auto;
 819 }
 820
 821 div.color1 h3 {
 822   background: #9ccc7c;
 823   border-bottom: 1px solid #9ccc7c;
 824 }
 825
 826 div.color2 {
 827   border: 1px solid #adce82;
 828 }
 829
 830 div.color2 h3 {
 831   background: #adce82;
 832   border-bottom: 1px solid #adce82;
 833 }
 834
 835 div.color3 {
 836   border: 1px solid #bdd088;
 837 }
 838
 839 div.color3 h3 {
 840   background: #bdd088;
 841   border-bottom: 1px solid #bdd088;
 842 }
 843
 844 div.color4 {
 845   border: 1px solid #ccd38f;
 846 }
 847
 848 div.color4 h3 {
 849   background: #ccd38f;
 850   border-bottom: 1px solid #ccd38f;
 851 }
 852
 853 .keep-bullets ul {
 854   list-style-type: disc;
 855   padding: 0;
 856   margin: 0.5em 1.5em;
 857 }
 858
 859 .keep-bullets li {
 860   padding: 0;
 861 }
 862
 863 .normal-table table {
 864   padding : 0em;
 865   border-left: 2px;
 866   margin: 0em;
 867 }
 868
 869 .normal-table table td {
 870   padding: 0em;
 871 }
 872
 873 .normal-table table a {
 874 }
 875
 876 .normal-table p {
 877   line-height: 0.8;
 878 }
 879
 880 .warning {
 881   background: #eef;
 882   text-align: left;
 883   padding: 0;
 884   border: 1px solid green;
 885   /* Experimental rounded corners */
 886   -moz-border-radius: 10px;
 887   -webkit-border-radius: 10px;
 888   margin: 1em;
 889 }
 890
 891 .warning p {
 892   padding: 0.5em;
 893   margin: 0;
 894 }
 895
 896 .hide {
 897   position: relative;
 898   text-indent: -999em;
 899   height: 0;
 900   overflow: hidden;
 901 }
 902
 903 .help {
 904   background: #f77;
 905   color: black;
 906   text-align: center;
 907   font-weight: bold;
 908   width: 75%;
 909   padding: 1em;
 910   border: 10px dotted green;
 911   margin: 1em auto;
 912 }
 913
 914 .legal {
 915   font-size: 0.6em;
 916 }
 917
 918 .detail {
 919   font-size: 0.8em;
 920 }
 921
 922
 923 /* kill title, probably best done in the init file, though */
 924 h1.settitle {
 925   position: relative;
 926   height: 0;
 927   text-indent: -999em;
 928   padding: 0;
 929   margin: 0;
 930   overflow: hidden;
 931 }