21 /* fallback for IE8 which doesn't support multiple backgrounds */
22 background: url(../pictures/background-top-left.png) no-repeat top left;
23 background-color: rgb(245, 252, 242);
24 background-image: url(../pictures/background-top-right.png),
25 url(../pictures/background-top-left.png);
26 background-position: top right, top left;
27 background-repeat: no-repeat, no-repeat;
52 /* no dotted line around clicked tabs */
69 /* Table of Contents */
70 /* first level toc (unnumbered) */
76 background: rgb(35, 155, 80);
77 background: linear-gradient(to top,
84 border-bottom-left-radius: 7px;
85 border-bottom-right-radius: 7px;
91 text-decoration: none;
95 list-style-type: none;
100 #tocframe > ul:first-child > li:first-child a {
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 border-bottom-right-radius: 7px;
128 #tocframe li form input {
133 color: rgb(85, 85, 85);
134 background: rgb(235, 242, 232);
135 padding: 0.1em 0.1em 0.1em 0.6em;
141 #tocframe li form input[type="hidden"] {
156 border-right: 1px solid rgba(25, 100, 40, 0.25);
159 #tocframe li a:hover {
160 background: rgb(45, 165, 90);
161 background: linear-gradient(to top,
166 #tocframe li.toc_current a,
167 #tocframe li.toc_current a:hover {
168 background: rgb(0, 120, 30);
169 background: linear-gradient(to top,
175 /* second level toc (unnumberedsec) */
176 #tocframe .toc .toc {
186 #tocframe .toc .toc li {
192 #tocframe .toc .toc li:first-child a {
193 border-top-left-radius: 7px;
194 border-bottom-left-radius: 7px;
195 border-left: 1px solid rgba(85, 130, 70, 0.25);
198 #tocframe .toc .toc li:last-child a {
199 border-top-right-radius: 7px;
200 border-bottom-right-radius: 7px;
203 #tocframe .toc .toc li a {
206 background: rgb(165, 215, 150);
207 background: linear-gradient(to top,
212 text-decoration: none;
217 border-right: 1px solid rgba(85, 130, 70, 0.25);
220 #tocframe .toc .toc li a:hover {
221 background: rgb(175, 225, 160);
222 background: linear-gradient(to top,
227 #tocframe .toc .toc li.toc_current a,
228 #tocframe .toc .toc li.toc_current a:hover {
229 background: rgb(135, 185, 120);
230 background: linear-gradient(to top,
235 /* third level toc (unnumberedsubsec) */
236 #tocframe .toc .toc .toc {
243 #tocframe .toc .toc .toc li {
249 #tocframe .toc .toc .toc li a {
253 text-decoration: none;
260 #tocframe .toc .toc .toc li a:hover {
264 #tocframe .toc .toc .toc li.toc_current a {
268 #tocframe .toc .toc .toc li.toc_current a:hover {
275 /* this value may need to be adjusted */
281 margin: 0 auto 11.7em;
282 /* Necessary to stretch over floated content;
283 * will cause scrollbars to appear for content
284 * that is wider than the width of this div.
286 * FIXME: This breaks Konqueror 3 and 4.
291 #main > a:first-child {
305 #pageHeader .heading {
334 margin: 3em 14em 25px 0;
345 margin: 0 14em 1em 0;
348 #homepage-example-image-wrapper {
349 padding: 3em 0em 1.5em;
352 .example-image-wrapper {
353 padding: 2em 0em 0.5em;
356 .example-image-wrapper img {
357 padding: 0em 0em 1em;
360 /* .news-item is styled below with columns */
363 /* Not sure how to style the testimonials */
368 .testimonial-item .subsubheading {
370 padding: 0 0 0 0.5em;
373 .testimonial-item img.float-left,
374 .testimonial-item img.float-right {
378 .testimonial-item p {
388 /* negate the top-margin of the first .subheading */
392 #homepage-sidebar .subheading {
396 padding: 0.2em 0.5em 0.1em 0.7em;
397 margin: 0.5em 0 0.7em;
403 padding: 0em 0.5em 0.5em;
410 border-top: 10px solid #5b7f64;
425 border-bottom: 10px solid #5b7f64;
431 margin: 0.25em 0 0 0;
434 /* used on website; not certain about the above ones.
451 #verifier_texinfo h3 {
454 text-indent: -9999em;
459 #verifier_texinfo img {
460 vertical-align: middle;
465 #verifier_texinfo p {
472 h1.unnumbered, h2.unnumberedsec, h3.unnumberedsubsec {
483 padding: 0 0 0 0.5em;
484 border-left: 3px solid #5b7f64;
518 border: 1px solid #bbb;
522 div.float-left a.clickable,
523 div.float-right a.clickable {
524 text-decoration: overline;
528 div.float-center a.clickable {
529 text-decoration: overline;
558 border: 1px solid #9ccc7c;
562 .column-center-middle-color2,
563 .column-center-middle-color3,
578 .column-left-bottom {
591 .column-right-bottom {
600 .column-center-middle-color2,
602 border: 1px solid #adce82;
607 .column-right-bottom,
608 .column-center-middle-color3 {
609 border: 1px solid #bdd088;
613 .column-center-bottom {
618 border: 1px solid #ccd38f;
623 .column-center-middle-color2,
624 .column-center-middle-color3,
625 .column-center-bottom,
629 .column-right-bottom,
636 .column-center-top h3 {
638 background: linear-gradient(to top,
642 border-bottom: 1px solid #9ccc7c;
647 .column-left-bottom h3,
648 .column-center-middle-color2 h3,
651 background: linear-gradient(to top,
654 border-bottom: 1px solid #adce82;
662 .column-right-top h3,
663 .column-right-bottom h3,
664 .column-center-middle-color3 h3 {
666 background: linear-gradient(to top,
669 border-bottom: 1px solid #bdd088;
673 .column-center-bottom h3 {
675 background: linear-gradient(to top,
679 border-bottom: 1px solid #ccd38f;
682 .column-center-top h3,
683 .column-center-middle-color2 h3,
684 .column-center-middle-color3 h3,
685 .column-center-bottom h3,
687 .column-left-bottom h3,
688 .column-right-top h3,
689 .column-right-bottom h3,
692 padding: 3px 0.5em 0;
694 border-top-left-radius: 5px;
695 border-top-right-radius: 5px;
698 .column-center-top h4,
699 .column-center-middle-color2 h4,
700 .column-center-middle-color3 h4,
701 .column-center-bottom h4,
703 .column-left-bottom h4,
704 .column-right-top h4,
705 .column-right-bottom h4 {
707 padding: 0.5em 0.5em 0;
711 /* Used for google summer of code project ideas, for example. */
712 .bigger-subsubheadings h4 {
714 margin: 1.5em 0 0.5em 0;
717 .column-center-top ul,
718 .column-center-middle-color2 ul,
719 .column-center-middle-color3 ul,
720 .column-center-bottom ul,
722 .column-left-bottom ul,
723 .column-right-top ul,
724 .column-right-bottom ul {
725 list-style-type: none;
730 .column-center-top li,
731 .column-center-middle-color2 li,
732 .column-center-middle-color3 li,
733 .column-center-bottom li,
735 .column-left-bottom li,
736 .column-right-top li,
737 .column-right-bottom li {
743 .column-center-top p,
744 .column-center-middle-color2 p,
745 .column-center-middle-color3 p,
746 .column-center-bottom p,
748 .column-left-bottom p,
750 .column-right-bottom p {
754 .column-center-top img.float-left,
755 .column-center-top img.float-right,
756 .column-center-middle-color2 img.float-left,
757 .column-center-middle-color2 img.float-right,
758 .column-center-middle-color3 img.float-left,
759 .column-center-middle-color3 img.float-right,
760 .column-center-bottom img.float-left,
761 .column-center-bottom img.float-right,
762 .column-left-top img.float-left,
763 .column-left-top img.float-right,
764 .column-left-bottom img.float-left,
765 .column-left-bottom img.float-right,
766 .column-right-top img.float-left,
767 .column-right-top img.float-right,
768 .column-right-bottom img.float-left,
769 .column-right-bottom img.float-right {
774 list-style-type: disc;
783 .normal-table table {
790 .normal-table table td {
794 .normal-table table a {
820 border: 1px solid rgb(160, 160, 175);
848 border: 10px dotted green;
868 /* kill title, probably best done in the init file, though */