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 #main > a:first-child {
299 #pageHeader .heading {
328 margin: 3em 14em 25px 0;
339 margin: 0 14em 1em 0;
342 /* .news-item is styled below with columns */
345 /* Not sure how to style the testimonials */
350 .testimonial-item .subsubheading {
352 padding: 0 0 0 0.5em;
355 .testimonial-item img.float-left,
356 .testimonial-item img.float-right {
360 .testimonial-item p {
364 div#homePageSideBar {
372 #homePageSideBar .subheading {
376 padding: 0.2em 0.5em 0em 0.7em;
383 padding: 0.7em 0.5em;
387 /* for better spacing between "download" and "manuals" links */
388 #homePageSideBar p:nth-of-type(2n) {
396 border-top: 10px solid #5b7f64;
411 border-bottom: 10px solid #5b7f64;
417 margin: 0.25em 0 0 0;
420 /* used on website; not certain about the above ones.
437 #verifier_texinfo h3 {
440 text-indent: -9999em;
445 #verifier_texinfo img {
446 vertical-align: middle;
451 #verifier_texinfo p {
458 h1.unnumbered, h2.unnumberedsec, h3.unnumberedsubsec {
469 padding: 0 0 0 0.5em;
470 border-left: 3px solid #5b7f64;
504 border: 1px solid #bbb;
508 div.float-left a.clickable,
509 div.float-center a.clickable,
510 div.float-right a.clickable {
511 text-decoration: overline;
541 border: 1px solid #9ccc7c;
545 .column-center-middle-color2,
546 .column-center-middle-color3,
561 .column-left-bottom {
574 .column-right-bottom {
583 .column-center-middle-color2,
585 border: 1px solid #adce82;
590 .column-right-bottom,
591 .column-center-middle-color3 {
592 border: 1px solid #bdd088;
596 .column-center-bottom {
601 border: 1px solid #ccd38f;
606 .column-center-middle-color2,
607 .column-center-middle-color3,
608 .column-center-bottom,
612 .column-right-bottom,
619 .column-center-top h3 {
621 background: linear-gradient(to top,
625 border-bottom: 1px solid #9ccc7c;
630 .column-left-bottom h3,
631 .column-center-middle-color2 h3,
634 background: linear-gradient(to top,
637 border-bottom: 1px solid #adce82;
645 .column-right-top h3,
646 .column-right-bottom h3,
647 .column-center-middle-color3 h3 {
649 background: linear-gradient(to top,
652 border-bottom: 1px solid #bdd088;
656 .column-center-bottom h3 {
658 background: linear-gradient(to top,
662 border-bottom: 1px solid #ccd38f;
665 .column-center-top h3,
666 .column-center-middle-color2 h3,
667 .column-center-middle-color3 h3,
668 .column-center-bottom h3,
670 .column-left-bottom h3,
671 .column-right-top h3,
672 .column-right-bottom h3,
675 padding: 3px 0.5em 0;
677 border-top-left-radius: 5px;
678 border-top-right-radius: 5px;
681 .column-center-top h4,
682 .column-center-middle-color2 h4,
683 .column-center-middle-color3 h4,
684 .column-center-bottom h4,
686 .column-left-bottom h4,
687 .column-right-top h4,
688 .column-right-bottom h4 {
690 padding: 0.5em 0.5em 0;
694 .column-center-top ul,
695 .column-center-middle-color2 ul,
696 .column-center-middle-color3 ul,
697 .column-center-bottom ul,
699 .column-left-bottom ul,
700 .column-right-top ul,
701 .column-right-bottom ul {
702 list-style-type: none;
707 .column-center-top li,
708 .column-center-middle-color2 li,
709 .column-center-middle-color3 li,
710 .column-center-bottom li,
712 .column-left-bottom li,
713 .column-right-top li,
714 .column-right-bottom li {
720 .column-center-top p,
721 .column-center-middle-color2 p,
722 .column-center-middle-color3 p,
723 .column-center-bottom p,
725 .column-left-bottom p,
727 .column-right-bottom p {
731 .column-center-top img.float-left,
732 .column-center-top img.float-right,
733 .column-center-middle-color2 img.float-left,
734 .column-center-middle-color2 img.float-right,
735 .column-center-middle-color3 img.float-left,
736 .column-center-middle-color3 img.float-right,
737 .column-center-bottom img.float-left,
738 .column-center-bottom img.float-right,
739 .column-left-top img.float-left,
740 .column-left-top img.float-right,
741 .column-left-bottom img.float-left,
742 .column-left-bottom img.float-right,
743 .column-right-top img.float-left,
744 .column-right-top img.float-right,
745 .column-right-bottom img.float-left,
746 .column-right-bottom img.float-right {
751 list-style-type: disc;
760 .normal-table table {
767 .normal-table table td {
771 .normal-table table a {
797 border: 1px solid rgb(160, 160, 175);
825 border: 10px dotted green;
845 /* kill title, probably best done in the init file, though */