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;
483 #latestVersion .subheading
{
491 /* this might not work in certain browsers */
492 a
[name
="Stable"] + h4
{
493 background: #bdee9d url
(../pictures
/color1-bg
.png
) repeat-x top left
;
496 /* this might not work in certain browsers */
497 a
[name
="Unstable"] + h4
{
498 background: #fad58c url
(../pictures
/color3-bg
.png
) repeat-x top left
;
501 #latestVersion .subsubheading
{
502 padding: 0.08em 0.25em;
503 border-bottom: 1px solid
#5b7f64;
516 border-top: 10px solid
#5b7f64;
531 border-bottom: 10px solid
#5b7f64;
537 margin: 0.25em 0 0 0;
540 /* used on website; not certain about the above ones.
557 #verifier_texinfo h3
{
560 text-indent: -9999em;
565 #verifier_texinfo img
{
566 vertical-align: middle
;
571 #verifier_texinfo p
{
578 h1
.unnumbered
, h2
.unnumberedsec
, h3
.unnumberedsubsec
{
589 padding: 0 0 0 0.5em;
590 border-left: 3px solid green
;
624 border: 1px solid
#bbb;
628 div
.float-left a
.clickable
,
629 div
.float-center a
.clickable
,
630 div
.float-right a
.clickable
{
631 text-decoration: overline
;
659 border: 1px solid
#9ccc7c;
664 .column-center-top h3 {
665 background: #9ccc7c url
(../pictures
/color1-bg
.png
) repeat-x top left
;
667 border-bottom: 1px solid
#9ccc7c;
676 .column-left-bottom {
684 .column-left-bottom {
685 border: 1px solid
#adce82;
690 .column-left-bottom h3 {
691 background: #adce82 url
(../pictures
/color2-bg
.png
) repeat-x top left
;
692 border-bottom: 1px solid
#adce82;
701 .column-right-bottom {
708 .column-right-bottom {
709 border: 1px solid
#bdd088;
713 .column-right-top h3
,
714 .column-right-bottom h3 {
715 background: #bdd088 url
(../pictures
/color3-bg
.png
) repeat-x top left
;
716 border-bottom: 1px solid
#bdd088;
719 .column-center-bottom {
723 border: 1px solid
#ccd38f;
728 .column-center-bottom h3 {
729 background: #ccd38f url
(../pictures
/color4-bg
.png
) repeat-x top left
;
731 border-bottom: 1px solid
#ccd38f;
735 .column-center-bottom
,
739 .column-right-bottom {
743 .column-center-top h3
,
744 .column-center-bottom h3
,
746 .column-left-bottom h3
,
747 .column-right-top h3
,
748 .column-right-bottom h3 {
754 .column-center-top h4
,
755 .column-center-bottom h4
,
757 .column-left-bottom h4
,
758 .column-right-top h4
,
759 .column-right-bottom h4 {
761 padding: 0.5em 0.5em 0;
765 .column-center-top ul
,
766 .column-center-bottom ul
,
768 .column-left-bottom ul
,
769 .column-right-top ul
,
770 .column-right-bottom ul {
771 list-style-type: none
;
776 .column-center-top li
,
777 .column-center-bottom li
,
779 .column-left-bottom li
,
780 .column-right-top li
,
781 .column-right-bottom li {
787 .column-center-top p
,
788 .column-center-bottom p
,
790 .column-left-bottom p
,
792 .column-right-bottom p {
796 .column-center-top img
.float-left
,
797 .column-center-top img
.float-right
,
798 .column-center-bottom img
.float-left
,
799 .column-center-bottom img
.float-right
,
800 .column-left-top img
.float-left
,
801 .column-left-top img
.float-right
,
802 .column-left-bottom img
.float-left
,
803 .column-left-bottom img
.float-right
,
804 .column-right-top img
.float-left
,
805 .column-right-top img
.float-right
,
806 .column-right-bottom img
.float-left
,
807 .column-right-bottom img.float-right {
811 /* Centered divs by color */
831 border: 1px solid
#9ccc7c;
837 border-bottom: 1px solid
#9ccc7c;
841 border: 1px solid
#adce82;
846 border-bottom: 1px solid
#adce82;
850 border: 1px solid
#bdd088;
855 border-bottom: 1px solid
#bdd088;
859 border: 1px solid
#ccd38f;
864 border-bottom: 1px solid
#ccd38f;
868 list-style-type: disc
;
877 .normal-table table {
883 .normal-table table td {
887 .normal-table table a {
910 border: 1px solid green
;
911 /* Experimental rounded corners */
912 -moz-border-radius: 10px;
913 -webkit-border-radius: 10px;
936 border: 10px dotted green
;
949 /* kill title, probably best done in the init file, though */