18 background: #fff url(../pictures/background-image.png) no-repeat 0 0;
44 /* Table of Contents */
46 /* first level toc (unnumbered) */
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: #9ccc7c url(../pictures/lily-home.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: #bdee9d url(../pictures/lily-home.png) no-repeat 50% 50%;
89 #tocframe > ul:first-child > li:first-child.toc_current a {
91 background: #8cbc6c url(../pictures/lily-home.png) no-repeat 50% 50%;
95 #tocframe > ul:first-child > li:first-child.toc_current a:hover {
97 background: #acdd8c url(../pictures/lily-home.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;
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;
147 #tocframe li a:hover {
149 text-decoration: none;
152 #tocframe li.toc_current a,
153 #tocframe li.toc_current a:hover {
155 text-decoration: none;
158 /* second level toc (unnumberedsec) */
160 #tocframe .toc .toc {
170 #tocframe .toc .toc li {
176 #tocframe .toc .toc li:first-child a {
177 /* Hide the gratituous (main) entry */
182 #tocframe .toc .toc li:first-child + li 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;
517 #verifier_texinfo h3 {
518 text-indent: -9999em;
520 border-bottom: 10px solid #5b7f64;
521 margin: 0 0 0.25em 0;
524 #verifier_texinfo img {
532 #verifier_texinfo p {
540 h1.unnumbered, h2.unnumberedsec, h3.unnumberedsubsec {
551 padding: 0 0 0 0.5em;
552 border-left: 3px solid green;
586 border: 1px solid #bbb;
590 div.float-left a.clickable,
591 div.float-center a.clickable,
592 div.float-right a.clickable {
593 text-decoration: overline;
622 border: 1px solid #8bbb6b;
627 .column-center-top h3 {
630 border-bottom: 1px solid #8bbb6b;
639 .column-left-bottom {
647 .column-left-bottom {
648 border: 1px solid #aabe70;
653 .column-left-bottom h3 {
655 border-bottom: 1px solid #aabe70;
664 .column-right-bottom {
671 .column-right-bottom {
672 border: 1px solid #cac175;
676 .column-right-top h3,
677 .column-right-bottom h3 {
679 border-bottom: 1px solid #cac175;
682 .column-center-bottom {
686 border: 1px solid #e9c47b;
691 .column-center-bottom h3 {
694 border-bottom: 1px solid #e9c47b;
698 .column-center-bottom,
702 .column-right-bottom {
706 .column-center-top h3,
707 .column-center-bottom h3,
709 .column-left-bottom h3,
710 .column-right-top h3,
711 .column-right-bottom h3 {
716 .column-center-top h4,
717 .column-center-bottom h4,
719 .column-left-bottom h4,
720 .column-right-top h4,
721 .column-right-bottom h4 {
722 padding: 0.5em 0.5em 0;
726 .column-center-top ul,
727 .column-center-bottom ul,
729 .column-left-bottom ul,
730 .column-right-top ul,
731 .column-right-bottom ul {
732 list-style-type: none;
737 .column-center-top li,
738 .column-center-bottom li,
740 .column-left-bottom li,
741 .column-right-top li,
742 .column-right-bottom li {
748 .column-center-top p,
749 .column-center-bottom p,
751 .column-left-bottom p,
753 .column-right-bottom p {
757 .column-center-top img.float-left,
758 .column-center-top img.float-right,
759 .column-center-bottom img.float-left,
760 .column-center-bottom img.float-right,
761 .column-left-top img.float-left,
762 .column-left-top img.float-right,
763 .column-left-bottom img.float-left,
764 .column-left-bottom img.float-right,
765 .column-right-top img.float-left,
766 .column-right-top img.float-right,
767 .column-right-bottom img.float-left,
768 .column-right-bottom img.float-right {
772 /* Centered divs by color */
793 border: 1px solid #8bbb6b;
799 border-bottom: 1px solid #8bbb6b;
803 border: 1px solid #aabe70;
808 border-bottom: 1px solid #aabe70;
812 border: 1px solid #cac175;
817 border-bottom: 1px solid #cac175;
821 border: 1px solid #e9c47b;
826 border-bottom: 1px solid #e9c47b;
830 list-style-type: disc;
843 border: 1px solid green;
844 /* Experimental rounded corners */
845 -moz-border-radius: 10px;
846 -webkit-border-radius: 10px;
869 border: 10px dotted green;
878 /* kill title, probably best done in the init file, though */