18 background: #fff url(pictures/background-image.png) no-repeat 0 0;
44 /* Table of Contents */
46 /* first level toc (unnumbered) */
52 background: url(pictures/nav-bg.png) repeat-x top left;
57 -moz-border-radius-bottomleft: 7px;
58 -moz-border-radius-bottomright: 7px;
59 -webkit-border-bottom-left-radius: 7px;
60 -webkit-border-bottom-right-radius: 7px;
69 list-style-type: none;
74 #tocframe > ul:first-child > li:first-child a {
77 /*background: url(nav-bg.png) top left repeat-x,
78 url(pictures/lily-home.png) no-repeat 50% 50%, #582007;*/
79 background: url(pictures/lily-home-nav-bg.png) no-repeat 50% 50%;
82 border-bottom-left-radius: 30px;
83 -moz-border-radius-bottomleft: 7px;
84 -webkit-border-bottom-left-radius: 7px;
87 #tocframe > ul:first-child > li:first-child a:hover {
88 background: url(pictures/lily-home-nav-hover.png) no-repeat 50% 50%;
92 #tocframe > ul:first-child > li:first-child.toc_current a {
94 background: url(pictures/lily-home-nav-active.png) no-repeat 50% 50%;
98 #tocframe > ul:first-child > li:first-child.toc_current a:hover {
100 background: url(pictures/lily-home-nav-active.png) no-repeat 50% 50%;
104 #tocframe > ul:first-child > li:last-child {
106 -moz-border-radius-bottomright: 7px;
107 -webkit-border-bottom-right-radius: 7px;
120 background: url(pictures/nav-bg.png);
126 #tocframe li form input {
134 -moz-border-radius-topright: 20px;
135 -moz-border-radius-bottomright: 20px;
136 -webkit-border-top-right-radius: 20px;
137 -webkit-border-bottom-right-radius: 20px;
140 #tocframe li form input[type="hidden"] {
156 background: url(pictures/nav-bg.png);
159 #tocframe li a:hover {
160 background: url(pictures/nav-hover.png);
161 text-decoration: underline;
164 #tocframe li.toc_current a,
165 #tocframe li.toc_current a:hover {
166 background: url(pictures/nav-active.png);
168 text-decoration: underline;
171 /* second level toc (unnumberedsec) */
173 #tocframe .toc .toc {
183 #tocframe .toc .toc li {
189 #tocframe .toc .toc li:first-child a {
190 -moz-border-radius-topleft: 7px;
191 -moz-border-radius-bottomleft: 7px;
192 -webkit-border-top-left-radius: 7px;
193 -webkit-border-bottom-left-radius: 7px;
196 #tocframe .toc .toc li:last-child a {
197 -moz-border-radius-topright: 7px;
198 -moz-border-radius-bottomright: 7px;
199 -webkit-border-top-right-radius: 7px;
200 -webkit-border-bottom-right-radius: 7px;
203 #tocframe .toc .toc li a {
208 text-decoration: none;
216 #tocframe .toc .toc li.toc_current a {
220 #tocframe .toc .toc li.toc_current a:hover {
224 #tocframe .toc .toc li a:hover {
228 /* colored second-level TOC items */
229 #tocframe .toc .toc li.color1 a {
230 text-decoration: none;
232 background: url(pictures/color1-bg.png) repeat-x top left;
235 #tocframe .toc .toc li.color2 a {
236 text-decoration: none;
238 background: url(pictures/color2-bg.png) repeat-x top left;
241 #tocframe .toc .toc li.color3 a {
242 text-decoration: none;
244 background: url(pictures/color3-bg.png) repeat-x top left;
247 #tocframe .toc .toc li.color4 a {
248 text-decoration: none;
250 background: url(pictures/color4-bg.png) repeat-x top left;
253 /* having this useless style makes the perl init file easier */
254 #tocframe .toc .toc li.colorDefault a {
257 #tocframe .toc .toc li.color1 a:hover {
259 background: url(pictures/color1-hover.png) repeat-x top left;
262 #tocframe .toc .toc li.color2 a:hover {
264 background: url(pictures/color2-hover.png) repeat-x top left;
267 #tocframe .toc .toc li.color3 a:hover {
269 background: url(pictures/color3-hover.png) repeat-x top left;
272 #tocframe .toc .toc li.color4 a:hover {
274 background: url(pictures/color4-hover.png) repeat-x top left;
277 #tocframe .toc .toc li.color1.toc_current a {
279 background: url(pictures/color1-active.png) repeat-x top left;
282 #tocframe .toc .toc li.color1.toc_current a:hover {
284 background: url(pictures/color1-active.png) repeat-x top left;
287 #tocframe .toc .toc li.color2.toc_current a {
289 background: url(pictures/color2-active.png) repeat-x top left;
292 #tocframe .toc .toc li.color2.toc_current a:hover {
294 background: url(pictures/color2-active.png) repeat-x top left;
297 #tocframe .toc .toc li.color3.toc_current a {
299 background: url(pictures/color3-active.png) repeat-x top left;
302 #tocframe .toc .toc li.color3.toc_current a:hover {
304 background: url(pictures/color3-active.png) repeat-x top left;
307 #tocframe .toc .toc li.color4.toc_current a {
309 background: url(pictures/color4-active.png) repeat-x top left;
312 #tocframe .toc .toc li.color4.toc_current a:hover {
314 background: url(pictures/color4-active.png) repeat-x top left;
317 /* third level toc (unnumberedsubsec) */
319 #tocframe .toc .toc .toc {
326 #tocframe .toc .toc .toc li {
332 #tocframe .toc .toc .toc li a {
336 text-decoration: none;
343 #tocframe .toc .toc .toc li a:hover {
347 #tocframe .toc .toc .toc li.toc_current a {
351 #tocframe .toc .toc .toc li.toc_current a:hover {
358 /* this value may need to be adjusted */
364 margin: 0 auto 11.7em;
365 /* Necessary to stretch over floated content;
366 * will cause scrollbars to appear for content
367 * that is wider than the width of this div
372 /* FIXME: does not work in IE<=6 */
373 #main > a:first-child {
387 #pageHeader .heading {
416 margin: 4em 13em 0 0;
419 #quickSummary .subheading {
420 background: #fff url(pictures/summary-gradient.png) repeat-y 0 0;
423 /* border-bottom: 10px solid #5b7f64; */
433 background: transparent url(pictures/squiggle.jpg) no-repeat 40% 60%;
441 margin: 0 13em 1em 0;
447 .news-item .subsubheading {
449 padding: 0 0 0 0.5em;
450 border-bottom: 1px solid #5b7f64;
456 /* Not sure how to style the testimonials */
461 .testimonial-item .subsubheading {
463 padding: 0 0 0 0.5em;
466 .testimonial-item img.float-left,
467 .testimonial-item img.float-right {
471 .testimonial-item p {
487 border-left: 1px solid #5b7f64;
490 #latestVersion .subheading {
498 #latestVersion .subsubheading {
500 padding: 0.18em 0.25em;
501 border-bottom: 1px solid #5b7f64;
515 /* FIXME: may need to be adjusted */
531 border-bottom: 10px solid #5b7f64;
537 margin: 0.25em 0 0 0;
548 #verifier_texinfo h3 {
549 text-indent: -9999em;
551 border-bottom: 10px solid #5b7f64;
552 margin: 0 0 0.25em 0;
555 #verifier_texinfo img {
563 #verifier_texinfo p {
571 h1.unnumbered, h2.unnumberedsec, h3.unnumberedsubsec {
582 padding: 0 0 0 0.5em;
583 border-left: 3px solid green;
617 border: 1px solid #bbb;
621 div.float-left a.clickable,
622 div.float-center a.clickable,
623 div.float-right a.clickable {
624 text-decoration: overline;
653 border: 1px solid #8bbb6b;
658 .column-center-top h3 {
661 border-bottom: 1px solid #8bbb6b;
670 .column-left-bottom {
678 .column-left-bottom {
679 border: 1px solid #aabe70;
684 .column-left-bottom h3 {
686 border-bottom: 1px solid #aabe70;
695 .column-right-bottom {
702 .column-right-bottom {
703 border: 1px solid #cac175;
707 .column-right-top h3,
708 .column-right-bottom h3 {
710 border-bottom: 1px solid #cac175;
713 .column-center-bottom {
717 border: 1px solid #e9c47b;
722 .column-center-bottom h3 {
724 border-bottom: 1px solid #e9c47b;
728 .column-center-bottom,
732 .column-right-bottom {
736 .column-center-top h3,
737 .column-center-bottom h3,
739 .column-left-bottom h3,
740 .column-right-top h3,
741 .column-right-bottom h3 {
747 .column-center-top h4,
748 .column-center-bottom h4,
750 .column-left-bottom h4,
751 .column-right-top h4,
752 .column-right-bottom h4 {
754 padding: 0.5em 0.5em 0;
758 .column-center-top ul,
759 .column-center-bottom ul,
761 .column-left-bottom ul,
762 .column-right-top ul,
763 .column-right-bottom ul {
764 list-style-type: none;
769 .column-center-top li,
770 .column-center-bottom li,
772 .column-left-bottom li,
773 .column-right-top li,
774 .column-right-bottom li {
780 .column-center-top p,
781 .column-center-bottom p,
783 .column-left-bottom p,
785 .column-right-bottom p {
789 .column-center-top img.float-left,
790 .column-center-top img.float-right,
791 .column-center-bottom img.float-left,
792 .column-center-bottom img.float-right,
793 .column-left-top img.float-left,
794 .column-left-top img.float-right,
795 .column-left-bottom img.float-left,
796 .column-left-bottom img.float-right,
797 .column-right-top img.float-left,
798 .column-right-top img.float-right,
799 .column-right-bottom img.float-left,
800 .column-right-bottom img.float-right {
804 /* Centered divs by color */
825 border: 1px solid #8bbb6b;
831 border-bottom: 1px solid #8bbb6b;
835 border: 1px solid #aabe70;
840 border-bottom: 1px solid #aabe70;
844 border: 1px solid #cac175;
849 border-bottom: 1px solid #cac175;
853 border: 1px solid #e9c47b;
858 border-bottom: 1px solid #e9c47b;
862 list-style-type: disc;
875 border: 1px solid green;
876 /* Experimental rounded corners */
877 -moz-border-radius: 10px;
878 -webkit-border-radius: 10px;
901 border: 10px dotted green;
910 /* kill title, probably best done in the init file, though */