18 background: #fff url(../pictures/background-image.png) no-repeat 0 0;
46 /* no dotted line around clicked tabs */
63 /* Table of Contents */
64 /* first level toc (unnumbered) */
70 background: rgb(35, 155, 80);
71 background: linear-gradient(to top,
78 border-bottom-left-radius: 7px;
79 border-bottom-right-radius: 7px;
85 text-decoration: none;
89 list-style-type: none;
94 #tocframe > ul:first-child > li:first-child a {
95 border-bottom-left-radius: 7px;
98 #tocframe > ul:first-child > li:first-child a span {
99 background: url("../pictures/lily-home-32x32.png") no-repeat scroll 0% 40% transparent;
100 padding: 16px 0px 16px 38px;
103 #tocframe > ul:first-child > li:last-child {
104 border-bottom-right-radius: 7px;
122 #tocframe li form input {
127 color: rgb(85, 85, 85);
128 background: rgb(200, 230, 200);
129 padding: 0.1em 0.1em 0.1em 0.6em;
135 #tocframe li form input[type="hidden"] {
150 border-right: 1px solid rgba(25, 100, 40, 0.25);
153 #tocframe li a:hover {
154 background: rgb(45, 165, 90);
155 background: linear-gradient(to top,
160 #tocframe li.toc_current a,
161 #tocframe li.toc_current a:hover {
162 background: rgb(0, 120, 30);
163 background: linear-gradient(to top,
169 /* second level toc (unnumberedsec) */
170 #tocframe .toc .toc {
180 #tocframe .toc .toc li {
186 #tocframe .toc .toc li:first-child a {
187 border-top-left-radius: 7px;
188 border-bottom-left-radius: 7px;
189 border-left: 1px solid rgba(85, 130, 70, 0.25);
192 #tocframe .toc .toc li:last-child a {
193 border-top-right-radius: 7px;
194 border-bottom-right-radius: 7px;
197 #tocframe .toc .toc li a {
200 background: rgb(165, 215, 150);
201 background: linear-gradient(to top,
206 text-decoration: none;
211 border-right: 1px solid rgba(85, 130, 70, 0.25);
214 #tocframe .toc .toc li a:hover {
215 background: rgb(175, 225, 160);
216 background: linear-gradient(to top,
221 #tocframe .toc .toc li.toc_current a,
222 #tocframe .toc .toc li.toc_current a:hover {
223 background: rgb(135, 185, 120);
224 background: linear-gradient(to top,
229 /* third level toc (unnumberedsubsec) */
230 #tocframe .toc .toc .toc {
237 #tocframe .toc .toc .toc li {
243 #tocframe .toc .toc .toc li a {
247 text-decoration: none;
254 #tocframe .toc .toc .toc li a:hover {
258 #tocframe .toc .toc .toc li.toc_current a {
262 #tocframe .toc .toc .toc li.toc_current a:hover {
269 /* this value may need to be adjusted */
275 margin: 0 auto 11.7em;
276 /* Necessary to stretch over floated content;
277 * will cause scrollbars to appear for content
278 * that is wider than the width of this div.
280 * FIXME: This breaks Konqueror 3 and 4.
285 /* FIXME: does not work in IE<=6 */
286 #main > a:first-child {
300 #pageHeader .heading {
329 margin: 4em 13em 0 0;
332 #quickSummary .subheading {
333 background: linear-gradient(to right,
335 rgb(79, 130, 99) 10%,
336 rgb(255, 255, 255) 75%,
349 background: transparent url(../pictures/squiggle.jpg) no-repeat 50% 50%;
357 margin: 0 13em 1em 0;
364 .news-item .subsubheading {
366 padding: 0.5em 0.5em 0 0.5em;
367 border-top: 1px solid #5b7f64;
373 /* Not sure how to style the testimonials */
378 .testimonial-item .subsubheading {
380 padding: 0 0 0 0.5em;
383 .testimonial-item img.float-left,
384 .testimonial-item img.float-right {
388 .testimonial-item p {
414 border-left: 1px solid #5b7f64;
415 border-top-left-radius: 5px;
418 #latestVersion .subheading,
419 #wildCardBox .subheading {
425 border-top-left-radius: 5px;
426 border-top-right-radius: 5px;
429 /* this might not work in certain browsers */
430 a[name="Stable"] + h4 {
432 background: linear-gradient(to top,
437 /* this might not work in certain browsers */
438 a[name="Unstable"] + h4 {
440 background: linear-gradient(to top,
445 #latestVersion .subsubheading {
446 padding: 0.25em 0.25em 0;
447 border-bottom: 1px solid #5b7f64;
460 border-top: 10px solid #5b7f64;
475 border-bottom: 10px solid #5b7f64;
481 margin: 0.25em 0 0 0;
484 /* used on website; not certain about the above ones.
501 #verifier_texinfo h3 {
504 text-indent: -9999em;
509 #verifier_texinfo img {
510 vertical-align: middle;
515 #verifier_texinfo p {
522 h1.unnumbered, h2.unnumberedsec, h3.unnumberedsubsec {
533 padding: 0 0 0 0.5em;
534 border-left: 3px solid #5b7f64;
568 border: 1px solid #bbb;
572 div.float-left a.clickable,
573 div.float-center a.clickable,
574 div.float-right a.clickable {
575 text-decoration: overline;
605 border: 1px solid #9ccc7c;
609 .column-center-middle-color2,
610 .column-center-middle-color3 {
623 .column-left-bottom {
636 .column-right-bottom {
645 .column-center-middle-color2 {
646 border: 1px solid #adce82;
651 .column-right-bottom,
652 .column-center-middle-color3 {
653 border: 1px solid #bdd088;
657 .column-center-bottom {
661 border: 1px solid #ccd38f;
666 .column-center-middle-color2,
667 .column-center-middle-color3,
668 .column-center-bottom,
672 .column-right-bottom {
678 .column-center-top h3 {
680 background: linear-gradient(to top,
684 border-bottom: 1px solid #9ccc7c;
689 .column-left-bottom h3,
690 .column-center-middle-color2 h3 {
692 background: linear-gradient(to top,
695 border-bottom: 1px solid #adce82;
699 .column-right-top h3,
700 .column-right-bottom h3,
701 .column-center-middle-color3 h3 {
703 background: linear-gradient(to top,
706 border-bottom: 1px solid #bdd088;
710 .column-center-bottom h3 {
712 background: linear-gradient(to top,
716 border-bottom: 1px solid #ccd38f;
719 .column-center-top h3,
720 .column-center-middle-color2 h3,
721 .column-center-middle-color3 h3,
722 .column-center-bottom h3,
724 .column-left-bottom h3,
725 .column-right-top h3,
726 .column-right-bottom h3 {
728 padding: 3px 0.5em 0;
730 border-top-left-radius: 5px;
731 border-top-right-radius: 5px;
734 .column-center-top h4,
735 .column-center-middle-color2 h4,
736 .column-center-middle-color3 h4,
737 .column-center-bottom h4,
739 .column-left-bottom h4,
740 .column-right-top h4,
741 .column-right-bottom h4 {
743 padding: 0.5em 0.5em 0;
747 .column-center-top ul,
748 .column-center-middle-color2 ul,
749 .column-center-middle-color3 ul,
750 .column-center-bottom ul,
752 .column-left-bottom ul,
753 .column-right-top ul,
754 .column-right-bottom ul {
755 list-style-type: none;
760 .column-center-top li,
761 .column-center-middle-color2 li,
762 .column-center-middle-color3 li,
763 .column-center-bottom li,
765 .column-left-bottom li,
766 .column-right-top li,
767 .column-right-bottom li {
773 .column-center-top p,
774 .column-center-middle-color2 p,
775 .column-center-middle-color3 p,
776 .column-center-bottom p,
778 .column-left-bottom p,
780 .column-right-bottom p {
784 .column-center-top img.float-left,
785 .column-center-top img.float-right,
786 .column-center-middle-color2 img.float-left,
787 .column-center-middle-color2 img.float-right,
788 .column-center-middle-color3 img.float-left,
789 .column-center-middle-color3 img.float-right,
790 .column-center-bottom img.float-left,
791 .column-center-bottom img.float-right,
792 .column-left-top img.float-left,
793 .column-left-top img.float-right,
794 .column-left-bottom img.float-left,
795 .column-left-bottom img.float-right,
796 .column-right-top img.float-left,
797 .column-right-top img.float-right,
798 .column-right-bottom img.float-left,
799 .column-right-bottom img.float-right {
804 list-style-type: disc;
813 .normal-table table {
820 .normal-table table td {
824 .normal-table table a {
850 border: 1px solid rgb(160, 160, 175);
878 border: 10px dotted green;
898 /* kill title, probably best done in the init file, though */