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 -moz-border-radius-bottomleft: 7px;
79 -moz-border-radius-bottomright: 7px;
80 -webkit-border-bottom-left-radius: 7px;
81 -webkit-border-bottom-right-radius: 7px;
82 border-bottom-left-radius: 7px;
83 border-bottom-right-radius: 7px;
89 text-decoration: none;
93 list-style-type: none;
98 #tocframe > ul:first-child > li:first-child a {
99 -moz-border-radius-bottomleft: 7px;
100 -webkit-border-bottom-left-radius: 7px;
101 border-bottom-left-radius: 7px;
104 #tocframe > ul:first-child > li:first-child a span {
105 background: url("../pictures/lily-home-32x32.png") no-repeat scroll 0% 40% transparent;
106 padding: 16px 0px 16px 38px;
109 #tocframe > ul:first-child > li:last-child {
110 -moz-border-radius-bottomright: 7px;
111 -webkit-border-bottom-right-radius: 7px;
112 border-bottom-right-radius: 7px;
130 #tocframe li form input {
135 color: rgb(85, 85, 85);
136 background: rgb(200, 230, 200);
137 padding: 0.1em 0.1em 0.1em 0.6em;
140 -moz-border-radius: 7px;
141 -webkit-border-radius: 7px;
145 #tocframe li form input[type="hidden"] {
160 border-right: 1px solid rgba(25, 100, 40, 0.25);
163 #tocframe li a:hover {
164 background: rgb(45, 165, 90);
165 background: linear-gradient(to top,
170 #tocframe li.toc_current a,
171 #tocframe li.toc_current a:hover {
172 background: rgb(0, 120, 30);
173 background: linear-gradient(to top,
179 /* second level toc (unnumberedsec) */
180 #tocframe .toc .toc {
190 #tocframe .toc .toc li {
196 #tocframe .toc .toc li:first-child a {
197 -moz-border-radius-topleft: 7px;
198 -moz-border-radius-bottomleft: 7px;
199 -webkit-border-top-left-radius: 7px;
200 -webkit-border-bottom-left-radius: 7px;
201 border-top-left-radius: 7px;
202 border-bottom-left-radius: 7px;
203 border-left: 1px solid rgba(85, 130, 70, 0.25);
206 #tocframe .toc .toc li:last-child a {
207 -moz-border-radius-topright: 7px;
208 -moz-border-radius-bottomright: 7px;
209 -webkit-border-top-right-radius: 7px;
210 -webkit-border-bottom-right-radius: 7px;
211 border-top-right-radius: 7px;
212 border-bottom-right-radius: 7px;
215 #tocframe .toc .toc li a {
218 background: rgb(165, 215, 150);
219 background: linear-gradient(to top,
224 text-decoration: none;
229 border-right: 1px solid rgba(85, 130, 70, 0.25);
232 #tocframe .toc .toc li a:hover {
233 background: rgb(175, 225, 160);
234 background: linear-gradient(to top,
239 #tocframe .toc .toc li.toc_current a,
240 #tocframe .toc .toc li.toc_current a:hover {
241 background: rgb(135, 185, 120);
242 background: linear-gradient(to top,
247 /* third level toc (unnumberedsubsec) */
248 #tocframe .toc .toc .toc {
255 #tocframe .toc .toc .toc li {
261 #tocframe .toc .toc .toc li a {
265 text-decoration: none;
272 #tocframe .toc .toc .toc li a:hover {
276 #tocframe .toc .toc .toc li.toc_current a {
280 #tocframe .toc .toc .toc li.toc_current a:hover {
287 /* this value may need to be adjusted */
293 margin: 0 auto 11.7em;
294 /* Necessary to stretch over floated content;
295 * will cause scrollbars to appear for content
296 * that is wider than the width of this div.
298 * FIXME: This breaks Konqueror 3 and 4.
303 /* FIXME: does not work in IE<=6 */
304 #main > a:first-child {
318 #pageHeader .heading {
347 margin: 4em 13em 0 0;
350 #quickSummary .subheading {
351 background: linear-gradient(to right,
353 rgb(79, 130, 99) 10%,
354 rgb(255, 255, 255) 75%,
367 background: transparent url(../pictures/squiggle.jpg) no-repeat 50% 50%;
375 margin: 0 13em 1em 0;
382 .news-item .subsubheading {
384 padding: 0 0 0 0.5em;
385 border-bottom: 1px solid #5b7f64;
391 /* Not sure how to style the testimonials */
396 .testimonial-item .subsubheading {
398 padding: 0 0 0 0.5em;
401 .testimonial-item img.float-left,
402 .testimonial-item img.float-right {
406 .testimonial-item p {
422 border-left: 1px solid #5b7f64;
431 border-left: 1px solid #5b7f64;
434 #latestVersion .subheading {
442 #wildCardBox .subheading {
450 /* this might not work in certain browsers */
451 a[name="Stable"] + h4 {
453 background: linear-gradient(to top,
458 /* this might not work in certain browsers */
459 a[name="Unstable"] + h4 {
461 background: linear-gradient(to top,
466 #latestVersion .subsubheading {
467 padding: 0.08em 0.25em;
468 border-bottom: 1px solid #5b7f64;
481 border-top: 10px solid #5b7f64;
496 border-bottom: 10px solid #5b7f64;
502 margin: 0.25em 0 0 0;
505 /* used on website; not certain about the above ones.
522 #verifier_texinfo h3 {
525 text-indent: -9999em;
530 #verifier_texinfo img {
531 vertical-align: middle;
536 #verifier_texinfo p {
543 h1.unnumbered, h2.unnumberedsec, h3.unnumberedsubsec {
554 padding: 0 0 0 0.5em;
555 border-left: 3px solid green;
589 border: 1px solid #bbb;
593 div.float-left a.clickable,
594 div.float-center a.clickable,
595 div.float-right a.clickable {
596 text-decoration: overline;
624 border: 1px solid #9ccc7c;
629 .column-center-top h3 {
631 background: linear-gradient(to top,
635 border-bottom: 1px solid #9ccc7c;
644 .column-left-bottom {
652 .column-left-bottom {
653 border: 1px solid #adce82;
658 .column-left-bottom h3 {
660 background: linear-gradient(to top,
663 border-bottom: 1px solid #adce82;
672 .column-right-bottom {
679 .column-right-bottom {
680 border: 1px solid #bdd088;
684 .column-right-top h3,
685 .column-right-bottom h3 {
687 background: linear-gradient(to top,
690 border-bottom: 1px solid #bdd088;
693 .column-center-bottom {
697 border: 1px solid #ccd38f;
702 .column-center-bottom h3 {
704 background: linear-gradient(to top,
708 border-bottom: 1px solid #ccd38f;
712 .column-center-bottom,
716 .column-right-bottom {
720 .column-center-top h3,
721 .column-center-bottom h3,
723 .column-left-bottom h3,
724 .column-right-top h3,
725 .column-right-bottom h3 {
731 .column-center-top h4,
732 .column-center-bottom h4,
734 .column-left-bottom h4,
735 .column-right-top h4,
736 .column-right-bottom h4 {
738 padding: 0.5em 0.5em 0;
742 .column-center-top ul,
743 .column-center-bottom ul,
745 .column-left-bottom ul,
746 .column-right-top ul,
747 .column-right-bottom ul {
748 list-style-type: none;
753 .column-center-top li,
754 .column-center-bottom li,
756 .column-left-bottom li,
757 .column-right-top li,
758 .column-right-bottom li {
764 .column-center-top p,
765 .column-center-bottom p,
767 .column-left-bottom p,
769 .column-right-bottom p {
773 .column-center-top img.float-left,
774 .column-center-top img.float-right,
775 .column-center-bottom img.float-left,
776 .column-center-bottom img.float-right,
777 .column-left-top img.float-left,
778 .column-left-top img.float-right,
779 .column-left-bottom img.float-left,
780 .column-left-bottom img.float-right,
781 .column-right-top img.float-left,
782 .column-right-top img.float-right,
783 .column-right-bottom img.float-left,
784 .column-right-bottom img.float-right {
788 /* Centered divs by color */
808 border: 1px solid #9ccc7c;
814 border-bottom: 1px solid #9ccc7c;
818 border: 1px solid #adce82;
823 border-bottom: 1px solid #adce82;
827 border: 1px solid #bdd088;
832 border-bottom: 1px solid #bdd088;
836 border: 1px solid #ccd38f;
841 border-bottom: 1px solid #ccd38f;
845 list-style-type: disc;
854 .normal-table table {
861 .normal-table table td {
865 .normal-table table a {
889 border: 1px solid green;
890 /* Experimental rounded corners */
891 -moz-border-radius: 10px;
892 -webkit-border-radius: 10px;
906 border: 1px solid green;
931 border: 10px dotted green;
951 /* kill title, probably best done in the init file, though */