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: #6aec7c url(../pictures/nav-bg.png) repeat-x top left;
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;
84 text-decoration: none;
88 list-style-type: none;
93 #tocframe > ul:first-child > li:first-child a {
95 background: #6aec7c url(../pictures/lily-home-nav-bg.png) no-repeat 50% 50%;
98 border-bottom-left-radius: 30px;
99 -moz-border-radius-bottomleft: 7px;
100 -webkit-border-bottom-left-radius: 7px;
103 #tocframe > ul:first-child > li:first-child a:hover {
104 background: #6aec7c url(../pictures/lily-home-nav-hover.png) no-repeat 50% 50%;
108 #tocframe > ul:first-child > li:first-child.toc_current a {
110 background: url(../pictures/lily-home-nav-active.png) no-repeat 50% 50%;
114 #tocframe > ul:first-child > li:first-child.toc_current a:hover {
116 background: url(../pictures/lily-home-nav-active.png) no-repeat 50% 50%;
120 #tocframe > ul:first-child > li:last-child {
122 -moz-border-radius-bottomright: 7px;
123 -webkit-border-bottom-right-radius: 7px;
136 background: #6aec7c url(../pictures/nav-bg.png);
138 padding: 0.45em 0.8%;
142 #tocframe li form input {
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;
156 #tocframe li form input[type="hidden"] {
166 background: #6aec7c url(../pictures/nav-bg.png);
175 #tocframe li a:hover {
176 background: url(../pictures/nav-hover.png);
179 #tocframe li.toc_current a,
180 #tocframe li.toc_current a:hover {
181 background: url(../pictures/nav-active.png);
183 text-decoration: underline;
186 /* second level toc (unnumberedsec) */
187 #tocframe .toc .toc {
197 #tocframe .toc .toc li {
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;
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;
217 #tocframe .toc .toc li a {
223 text-decoration: none;
230 #tocframe .toc .toc li a:hover {
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;
239 #tocframe .toc .toc li.color2 a {
240 background: #bbcf81 url(../pictures/color2-bg.png) repeat-x top left;
243 #tocframe .toc .toc li.color3 a {
244 background: #dbd286 url(../pictures/color3-bg.png) repeat-x top left;
247 #tocframe .toc .toc li.color4 a {
248 background: #fad58c url(../pictures/color4-bg.png) repeat-x top left;
251 #tocframe .toc .toc li.colorDefault a {
252 background: #8cbc6c url(../pictures/nav-bg-2.png) repeat-x top left;
256 #tocframe .toc .toc li.colorDefault a:hover {
257 background: #8cbc6c url(../pictures/nav-hover-2.png) repeat-x top left;
261 #tocframe .toc .toc li.color1 a:hover {
262 background: #addd8d url(../pictures/color1-hover.png) repeat-x top left;
265 #tocframe .toc .toc li.color2 a:hover {
266 background: #ccdf92 url(../pictures/color2-hover.png) repeat-x top left;
269 #tocframe .toc .toc li.color3 a:hover {
270 background: #ece297 url(../pictures/color3-hover.png) repeat-x top left;
273 #tocframe .toc .toc li.color4 a:hover {
274 background: #fbe69d url(../pictures/color4-hover.png) repeat-x top left;
277 #tocframe .toc .toc li.toc_current a,
278 #tocframe .toc .toc li.toc_current a:hover {
280 text-decoration: underline;
283 #tocframe .toc .toc li.colorDefault.toc_current a,
284 #tocframe .toc .toc li.colorDefault.toc_current a:hover {
285 background: #8cbc6c url(../pictures/nav-active-2.png) repeat-x top left;
287 text-decoration: underline;
290 #tocframe .toc .toc li.color1.toc_current a,
291 #tocframe .toc .toc li.color1.toc_current a:hover {
292 background: #beee9e url(../pictures/color1-active.png) repeat-x top left;
295 #tocframe .toc .toc li.color2.toc_current a,
296 #tocframe .toc .toc li.color2.toc_current a:hover {
297 background: #ddefa3 url(../pictures/color2-active.png) repeat-x top left;
300 #tocframe .toc .toc li.color3.toc_current a,
301 #tocframe .toc .toc li.color3.toc_current a:hover {
302 background: #fdf4a8 url(../pictures/color3-active.png) repeat-x top left;
305 #tocframe .toc .toc li.color4.toc_current a,
306 #tocframe .toc .toc li.color4.toc_current a:hover {
307 background: #fcf7ae url(../pictures/color4-active.png) repeat-x top left;
310 /* third level toc (unnumberedsubsec) */
311 #tocframe .toc .toc .toc {
318 #tocframe .toc .toc .toc li {
324 #tocframe .toc .toc .toc li a {
328 text-decoration: none;
335 #tocframe .toc .toc .toc li a:hover {
339 #tocframe .toc .toc .toc li.toc_current a {
343 #tocframe .toc .toc .toc li.toc_current a:hover {
350 /* this value may need to be adjusted */
356 margin: 0 auto 11.7em;
357 /* Necessary to stretch over floated content;
358 * will cause scrollbars to appear for content
359 * that is wider than the width of this div.
361 * FIXME: This breaks Konqueror 3 and 4.
366 /* FIXME: does not work in IE<=6 */
367 #main > a:first-child {
381 #pageHeader .heading {
410 margin: 4em 13em 0 0;
413 #quickSummary .subheading {
414 background: #fff url(../pictures/summary-gradient.png) repeat-y 0 0;
426 background: transparent url(../pictures/squiggle.jpg) no-repeat 40% 60%;
434 margin: 0 13em 1em 0;
440 .news-item .subsubheading {
442 padding: 0 0 0 0.5em;
443 border-bottom: 1px solid #5b7f64;
449 /* Not sure how to style the testimonials */
454 .testimonial-item .subsubheading {
456 padding: 0 0 0 0.5em;
459 .testimonial-item img.float-left,
460 .testimonial-item img.float-right {
464 .testimonial-item p {
480 border-left: 1px solid #5b7f64;
489 border-left: 1px solid #5b7f64;
492 #latestVersion .subheading {
500 #wildCardBox .subheading {
508 /* this might not work in certain browsers */
509 a[name="Stable"] + h4 {
510 background: #bdee9d url(../pictures/color1-bg.png) repeat-x top left;
513 /* this might not work in certain browsers */
514 a[name="Unstable"] + h4 {
515 background: #fad58c url(../pictures/color3-bg.png) repeat-x top left;
518 #latestVersion .subsubheading {
519 padding: 0.08em 0.25em;
520 border-bottom: 1px solid #5b7f64;
533 border-top: 10px solid #5b7f64;
548 border-bottom: 10px solid #5b7f64;
554 margin: 0.25em 0 0 0;
557 /* used on website; not certain about the above ones.
574 #verifier_texinfo h3 {
577 text-indent: -9999em;
582 #verifier_texinfo img {
583 vertical-align: middle;
588 #verifier_texinfo p {
595 h1.unnumbered, h2.unnumberedsec, h3.unnumberedsubsec {
606 padding: 0 0 0 0.5em;
607 border-left: 3px solid green;
641 border: 1px solid #bbb;
645 div.float-left a.clickable,
646 div.float-center a.clickable,
647 div.float-right a.clickable {
648 text-decoration: overline;
676 border: 1px solid #9ccc7c;
681 .column-center-top h3 {
682 background: #9ccc7c url(../pictures/color1-bg.png) repeat-x top left;
684 border-bottom: 1px solid #9ccc7c;
693 .column-left-bottom {
701 .column-left-bottom {
702 border: 1px solid #adce82;
707 .column-left-bottom h3 {
708 background: #adce82 url(../pictures/color2-bg.png) repeat-x top left;
709 border-bottom: 1px solid #adce82;
718 .column-right-bottom {
725 .column-right-bottom {
726 border: 1px solid #bdd088;
730 .column-right-top h3,
731 .column-right-bottom h3 {
732 background: #bdd088 url(../pictures/color3-bg.png) repeat-x top left;
733 border-bottom: 1px solid #bdd088;
736 .column-center-bottom {
740 border: 1px solid #ccd38f;
745 .column-center-bottom h3 {
746 background: #ccd38f url(../pictures/color4-bg.png) repeat-x top left;
748 border-bottom: 1px solid #ccd38f;
752 .column-center-bottom,
756 .column-right-bottom {
760 .column-center-top h3,
761 .column-center-bottom h3,
763 .column-left-bottom h3,
764 .column-right-top h3,
765 .column-right-bottom h3 {
771 .column-center-top h4,
772 .column-center-bottom h4,
774 .column-left-bottom h4,
775 .column-right-top h4,
776 .column-right-bottom h4 {
778 padding: 0.5em 0.5em 0;
782 .column-center-top ul,
783 .column-center-bottom ul,
785 .column-left-bottom ul,
786 .column-right-top ul,
787 .column-right-bottom ul {
788 list-style-type: none;
793 .column-center-top li,
794 .column-center-bottom li,
796 .column-left-bottom li,
797 .column-right-top li,
798 .column-right-bottom li {
804 .column-center-top p,
805 .column-center-bottom p,
807 .column-left-bottom p,
809 .column-right-bottom p {
813 .column-center-top img.float-left,
814 .column-center-top img.float-right,
815 .column-center-bottom img.float-left,
816 .column-center-bottom img.float-right,
817 .column-left-top img.float-left,
818 .column-left-top img.float-right,
819 .column-left-bottom img.float-left,
820 .column-left-bottom img.float-right,
821 .column-right-top img.float-left,
822 .column-right-top img.float-right,
823 .column-right-bottom img.float-left,
824 .column-right-bottom img.float-right {
828 /* Centered divs by color */
848 border: 1px solid #9ccc7c;
854 border-bottom: 1px solid #9ccc7c;
858 border: 1px solid #adce82;
863 border-bottom: 1px solid #adce82;
867 border: 1px solid #bdd088;
872 border-bottom: 1px solid #bdd088;
876 border: 1px solid #ccd38f;
881 border-bottom: 1px solid #ccd38f;
885 list-style-type: disc;
894 .normal-table table {
900 .normal-table table td {
904 .normal-table table a {
928 border: 1px solid green;
929 /* Experimental rounded corners */
930 -moz-border-radius: 10px;
931 -webkit-border-radius: 10px;
944 border: 1px solid green;
969 border: 10px dotted green;
989 /* kill title, probably best done in the init file, though */