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"] {
172 background: #6aec7c url(../pictures/nav-bg.png);
175 #tocframe li a:hover {
176 background: url(../pictures/nav-hover.png);
177 text-decoration: underline;
180 #tocframe li.toc_current a,
181 #tocframe li.toc_current a:hover {
182 background: url(../pictures/nav-active.png);
184 text-decoration: underline;
187 /* second level toc (unnumberedsec) */
188 #tocframe .toc .toc {
198 #tocframe .toc .toc li {
204 #tocframe .toc .toc li:first-child a {
205 -moz-border-radius-topleft: 7px;
206 -moz-border-radius-bottomleft: 7px;
207 -webkit-border-top-left-radius: 7px;
208 -webkit-border-bottom-left-radius: 7px;
211 #tocframe .toc .toc li:last-child a {
212 -moz-border-radius-topright: 7px;
213 -moz-border-radius-bottomright: 7px;
214 -webkit-border-top-right-radius: 7px;
215 -webkit-border-bottom-right-radius: 7px;
218 #tocframe .toc .toc li a {
224 text-decoration: none;
232 #tocframe .toc .toc li.toc_current a {
237 #tocframe .toc .toc li.toc_current a:hover {
241 #tocframe .toc .toc li a:hover {
245 /* colored second-level TOC items */
246 #tocframe .toc .toc li.color1 a {
247 text-decoration: none;
249 background: url(../pictures/color1-bg.png) repeat-x top left;
252 #tocframe .toc .toc li.color2 a {
253 text-decoration: none;
255 background: url(../pictures/color2-bg.png) repeat-x top left;
258 #tocframe .toc .toc li.color3 a {
259 text-decoration: none;
261 background: url(../pictures/color3-bg.png) repeat-x top left;
264 #tocframe .toc .toc li.color4 a {
265 text-decoration: none;
267 background: url(../pictures/color4-bg.png) repeat-x top left;
270 /* having this useless style makes the perl init file easier */
271 #tocframe .toc .toc li.colorDefault a {
273 text-decoration: none;
275 background: url(../pictures/nav-bg-2.png) repeat-x top left;
278 #tocframe .toc .toc li.colorDefault a:hover {
280 text-decoration: underline;
282 background: url(../pictures/nav-hover-2.png) repeat-x top left;
284 #tocframe .toc .toc li.color1 a:hover {
286 background: url(../pictures/color1-hover.png) repeat-x top left;
289 #tocframe .toc .toc li.color2 a:hover {
291 background: url(../pictures/color2-hover.png) repeat-x top left;
294 #tocframe .toc .toc li.color3 a:hover {
296 background: url(../pictures/color3-hover.png) repeat-x top left;
299 #tocframe .toc .toc li.color4 a:hover {
301 background: url(../pictures/color4-hover.png) repeat-x top left;
304 #tocframe .toc .toc li.color1.toc_current a {
306 background: url(../pictures/color1-active.png) repeat-x top left;
309 #tocframe .toc .toc li.color1.toc_current a:hover {
311 background: url(../pictures/color1-active.png) repeat-x top left;
314 #tocframe .toc .toc li.color2.toc_current a {
316 background: url(../pictures/color2-active.png) repeat-x top left;
319 #tocframe .toc .toc li.color2.toc_current a:hover {
321 background: url(../pictures/color2-active.png) repeat-x top left;
324 #tocframe .toc .toc li.color3.toc_current a {
326 background: url(../pictures/color3-active.png) repeat-x top left;
329 #tocframe .toc .toc li.color3.toc_current a:hover {
331 background: url(../pictures/color3-active.png) repeat-x top left;
334 #tocframe .toc .toc li.color4.toc_current a {
336 background: url(../pictures/color4-active.png) repeat-x top left;
339 #tocframe .toc .toc li.color4.toc_current a:hover {
341 background: url(../pictures/color4-active.png) repeat-x top left;
344 /* third level toc (unnumberedsubsec) */
345 #tocframe .toc .toc .toc {
352 #tocframe .toc .toc .toc li {
358 #tocframe .toc .toc .toc li a {
362 text-decoration: none;
369 #tocframe .toc .toc .toc li a:hover {
373 #tocframe .toc .toc .toc li.toc_current a {
377 #tocframe .toc .toc .toc li.toc_current a:hover {
384 /* this value may need to be adjusted */
390 margin: 0 auto 11.7em;
391 /* Necessary to stretch over floated content;
392 * will cause scrollbars to appear for content
393 * that is wider than the width of this div
398 /* FIXME: does not work in IE<=6 */
399 #main > a:first-child {
413 #pageHeader .heading {
442 margin: 4em 13em 0 0;
445 #quickSummary .subheading {
446 background: #fff url(../pictures/summary-gradient.png) repeat-y 0 0;
458 background: transparent url(../pictures/squiggle.jpg) no-repeat 40% 60%;
466 margin: 0 13em 1em 0;
472 .news-item .subsubheading {
474 padding: 0 0 0 0.5em;
475 border-bottom: 1px solid #5b7f64;
481 /* Not sure how to style the testimonials */
486 .testimonial-item .subsubheading {
488 padding: 0 0 0 0.5em;
491 .testimonial-item img.float-left,
492 .testimonial-item img.float-right {
496 .testimonial-item p {
512 border-left: 1px solid #5b7f64;
515 #latestVersion .subheading {
523 /* this might not work in certain browsers */
524 a[name="Stable"] + h4 {
525 background: #bdee9d url(../pictures/color1-bg.png) repeat-x top left;
528 /* this might not work in certain browsers */
529 a[name="Unstable"] + h4 {
530 background: #fad58c url(../pictures/color4-bg.png) repeat-x top left;
533 #latestVersion .subsubheading {
534 padding: 0.08em 0.25em;
535 border-bottom: 1px solid #5b7f64;
549 /* FIXME: may need to be adjusted */
565 border-bottom: 10px solid #5b7f64;
571 margin: 0.25em 0 0 0;
582 #verifier_texinfo h3 {
583 text-indent: -9999em;
585 border-bottom: 10px solid #5b7f64;
586 margin: 0 0 0.25em 0;
589 #verifier_texinfo img {
597 #verifier_texinfo p {
605 h1.unnumbered, h2.unnumberedsec, h3.unnumberedsubsec {
616 padding: 0 0 0 0.5em;
617 border-left: 3px solid green;
651 border: 1px solid #bbb;
655 div.float-left a.clickable,
656 div.float-center a.clickable,
657 div.float-right a.clickable {
658 text-decoration: overline;
686 border: 1px solid #8bbb6b;
691 .column-center-top h3 {
692 background: #9ccc7c url(../pictures/color1-bg.png) repeat-x top left;
694 border-bottom: 1px solid #8bbb6b;
703 .column-left-bottom {
711 .column-left-bottom {
712 border: 1px solid #aabe70;
717 .column-left-bottom h3 {
718 background: #bbcf81 url(../pictures/color2-bg.png) repeat-x top left;
719 border-bottom: 1px solid #aabe70;
728 .column-right-bottom {
735 .column-right-bottom {
736 border: 1px solid #cac175;
740 .column-right-top h3,
741 .column-right-bottom h3 {
742 background: #dbd286 url(../pictures/color3-bg.png) repeat-x top left;
743 border-bottom: 1px solid #cac175;
746 .column-center-bottom {
750 border: 1px solid #e9c47b;
755 .column-center-bottom h3 {
756 background: #fad58c url(../pictures/color4-bg.png) repeat-x top left;
758 border-bottom: 1px solid #e9c47b;
762 .column-center-bottom,
766 .column-right-bottom {
770 .column-center-top h3,
771 .column-center-bottom h3,
773 .column-left-bottom h3,
774 .column-right-top h3,
775 .column-right-bottom h3 {
781 .column-center-top h4,
782 .column-center-bottom h4,
784 .column-left-bottom h4,
785 .column-right-top h4,
786 .column-right-bottom h4 {
788 padding: 0.5em 0.5em 0;
792 .column-center-top ul,
793 .column-center-bottom ul,
795 .column-left-bottom ul,
796 .column-right-top ul,
797 .column-right-bottom ul {
798 list-style-type: none;
803 .column-center-top li,
804 .column-center-bottom li,
806 .column-left-bottom li,
807 .column-right-top li,
808 .column-right-bottom li {
814 .column-center-top p,
815 .column-center-bottom p,
817 .column-left-bottom p,
819 .column-right-bottom p {
823 .column-center-top img.float-left,
824 .column-center-top img.float-right,
825 .column-center-bottom img.float-left,
826 .column-center-bottom img.float-right,
827 .column-left-top img.float-left,
828 .column-left-top img.float-right,
829 .column-left-bottom img.float-left,
830 .column-left-bottom img.float-right,
831 .column-right-top img.float-left,
832 .column-right-top img.float-right,
833 .column-right-bottom img.float-left,
834 .column-right-bottom img.float-right {
838 /* Centered divs by color */
858 border: 1px solid #8bbb6b;
864 border-bottom: 1px solid #8bbb6b;
868 border: 1px solid #aabe70;
873 border-bottom: 1px solid #aabe70;
877 border: 1px solid #cac175;
882 border-bottom: 1px solid #cac175;
886 border: 1px solid #e9c47b;
891 border-bottom: 1px solid #e9c47b;
895 list-style-type: disc;
908 border: 1px solid green;
909 /* Experimental rounded corners */
910 -moz-border-radius: 10px;
911 -webkit-border-radius: 10px;
934 border: 10px dotted green;
943 /* kill title, probably best done in the init file, though */