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.jpg) 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 {
76 background: url(../pictures/lily-home-nav-bg.png) no-repeat 50% 50%;
79 border-bottom-left-radius: 30px;
80 -moz-border-radius-bottomleft: 7px;
81 -webkit-border-bottom-left-radius: 7px;
84 #tocframe > ul:first-child > li:first-child a:hover {
85 background: url(../pictures/lily-home-nav-hover.png) no-repeat 50% 50%;
89 #tocframe > ul:first-child > li:first-child.toc_current a {
91 background: url(../pictures/lily-home-nav-active.png) no-repeat 50% 50%;
95 #tocframe > ul:first-child > li:first-child.toc_current a:hover {
97 background: url(../pictures/lily-home-nav-active.png) no-repeat 50% 50%;
101 #tocframe > ul:first-child > li:last-child {
103 -moz-border-radius-bottomright: 7px;
104 -webkit-border-bottom-right-radius: 7px;
117 background: url(nav-bg.jpg);
123 #tocframe li form input {
131 -moz-border-radius-topright: 20px;
132 -moz-border-radius-bottomright: 20px;
133 -webkit-border-top-right-radius: 20px;
134 -webkit-border-bottom-right-radius: 20px;
137 #tocframe li form input[type="hidden"] {
149 background: url(nav-bg.jpg);
152 #tocframe li a:hover {
153 background: url(nav-hover.jpg);
154 text-decoration: underline;
157 #tocframe li.toc_current a,
158 #tocframe li.toc_current a:hover {
159 background: url(nav-active.jpg);
161 text-decoration: underline;
164 /* second level toc (unnumberedsec) */
166 #tocframe .toc .toc {
176 #tocframe .toc .toc li {
182 #tocframe .toc .toc li:first-child a {
183 -moz-border-radius-topleft: 7px;
184 -moz-border-radius-bottomleft: 7px;
185 -webkit-border-top-left-radius: 7px;
186 -webkit-border-bottom-left-radius: 7px;
189 #tocframe .toc .toc li:last-child a {
190 -moz-border-radius-topright: 7px;
191 -moz-border-radius-bottomright: 7px;
192 -webkit-border-top-right-radius: 7px;
193 -webkit-border-bottom-right-radius: 7px;
196 #tocframe .toc .toc li a {
201 text-decoration: none;
209 #tocframe .toc .toc li.toc_current a {
213 #tocframe .toc .toc li.toc_current a:hover {
217 #tocframe .toc .toc li a:hover {
221 /* colored second-level TOC items */
222 #tocframe .toc .toc li.color1 a {
223 text-decoration: none;
227 #tocframe .toc .toc li.color2 a {
228 text-decoration: none;
232 #tocframe .toc .toc li.color3 a {
233 text-decoration: none;
237 #tocframe .toc .toc li.color4 a {
238 text-decoration: none;
242 /* having this useless style makes the perl init file easier */
243 #tocframe .toc .toc li.colorDefault a {
246 #tocframe .toc .toc li.color1 a:hover {
250 #tocframe .toc .toc li.color2 a:hover {
254 #tocframe .toc .toc li.color3 a:hover {
258 #tocframe .toc .toc li.color4 a:hover {
262 #tocframe .toc .toc li.color1.toc_current a {
266 #tocframe .toc .toc li.color1.toc_current a:hover {
270 #tocframe .toc .toc li.color2.toc_current a {
274 #tocframe .toc .toc li.color2.toc_current a:hover {
278 #tocframe .toc .toc li.color3.toc_current a {
282 #tocframe .toc .toc li.color3.toc_current a:hover {
286 #tocframe .toc .toc li.color4.toc_current a {
290 #tocframe .toc .toc li.color4.toc_current a:hover {
294 /* third level toc (unnumberedsubsec) */
296 #tocframe .toc .toc .toc {
303 #tocframe .toc .toc .toc li {
309 #tocframe .toc .toc .toc li a {
313 text-decoration: none;
320 #tocframe .toc .toc .toc li a:hover {
324 #tocframe .toc .toc .toc li.toc_current a {
328 #tocframe .toc .toc .toc li.toc_current a:hover {
335 /* this value may need to be adjusted */
341 margin: 0 auto 11.7em;
342 /* Necessary to stretch over floated content;
343 * will cause scrollbars to appear for content
344 * that is wider than the width of this div
349 /* FIXME: does not work in IE<=6 */
350 #main > a:first-child {
364 #pageHeader .heading {
393 margin: 4em 13em 0 0;
396 #quickSummary .subheading {
397 background: #fff url(../pictures/summary-gradient.png) repeat-y 0 0;
400 /* border-bottom: 10px solid #5b7f64; */
411 margin: 0 13em 1em 0;
417 .news-item .subsubheading {
419 padding: 0 0 0 0.5em;
420 border-bottom: 1px solid #5b7f64;
426 /* Not sure how to style the testimonials */
431 .testimonial-item .subsubheading {
433 padding: 0 0 0 0.5em;
436 .testimonial-item img.float-left,
437 .testimonial-item img.float-right {
441 .testimonial-item p {
457 border-left: 1px solid #5b7f64;
460 #latestVersion .subheading {
468 #latestVersion .subsubheading {
470 padding: 0.18em 0.25em;
471 border-bottom: 1px solid #5b7f64;
485 /* FIXME: may need to be adjusted */
501 border-bottom: 10px solid #5b7f64;
507 margin: 0.25em 0 0 0;
518 #verifier_texinfo h3 {
519 text-indent: -9999em;
521 border-bottom: 10px solid #5b7f64;
522 margin: 0 0 0.25em 0;
525 #verifier_texinfo img {
533 #verifier_texinfo p {
541 h1.unnumbered, h2.unnumberedsec, h3.unnumberedsubsec {
552 padding: 0 0 0 0.5em;
553 border-left: 3px solid green;
587 border: 1px solid #bbb;
591 div.float-left a.clickable,
592 div.float-center a.clickable,
593 div.float-right a.clickable {
594 text-decoration: overline;
623 border: 1px solid #8bbb6b;
628 .column-center-top h3 {
631 border-bottom: 1px solid #8bbb6b;
640 .column-left-bottom {
648 .column-left-bottom {
649 border: 1px solid #aabe70;
654 .column-left-bottom h3 {
656 border-bottom: 1px solid #aabe70;
665 .column-right-bottom {
672 .column-right-bottom {
673 border: 1px solid #cac175;
677 .column-right-top h3,
678 .column-right-bottom h3 {
680 border-bottom: 1px solid #cac175;
683 .column-center-bottom {
687 border: 1px solid #e9c47b;
692 .column-center-bottom h3 {
695 border-bottom: 1px solid #e9c47b;
699 .column-center-bottom,
703 .column-right-bottom {
707 .column-center-top h3,
708 .column-center-bottom h3,
710 .column-left-bottom h3,
711 .column-right-top h3,
712 .column-right-bottom h3 {
717 .column-center-top h4,
718 .column-center-bottom h4,
720 .column-left-bottom h4,
721 .column-right-top h4,
722 .column-right-bottom h4 {
723 padding: 0.5em 0.5em 0;
727 .column-center-top ul,
728 .column-center-bottom ul,
730 .column-left-bottom ul,
731 .column-right-top ul,
732 .column-right-bottom ul {
733 list-style-type: none;
738 .column-center-top li,
739 .column-center-bottom li,
741 .column-left-bottom li,
742 .column-right-top li,
743 .column-right-bottom li {
749 .column-center-top p,
750 .column-center-bottom p,
752 .column-left-bottom p,
754 .column-right-bottom p {
758 .column-center-top img.float-left,
759 .column-center-top img.float-right,
760 .column-center-bottom img.float-left,
761 .column-center-bottom img.float-right,
762 .column-left-top img.float-left,
763 .column-left-top img.float-right,
764 .column-left-bottom img.float-left,
765 .column-left-bottom img.float-right,
766 .column-right-top img.float-left,
767 .column-right-top img.float-right,
768 .column-right-bottom img.float-left,
769 .column-right-bottom img.float-right {
773 /* Centered divs by color */
794 border: 1px solid #8bbb6b;
800 border-bottom: 1px solid #8bbb6b;
804 border: 1px solid #aabe70;
809 border-bottom: 1px solid #aabe70;
813 border: 1px solid #cac175;
818 border-bottom: 1px solid #cac175;
822 border: 1px solid #e9c47b;
827 border-bottom: 1px solid #e9c47b;
831 list-style-type: disc;
844 border: 1px solid green;
845 /* Experimental rounded corners */
846 -moz-border-radius: 10px;
847 -webkit-border-radius: 10px;
870 border: 10px dotted green;
879 /* kill title, probably best done in the init file, though */