1 /* this is Patrick Schmidt's experimental CSS */
20 background: #fff url(../pictures/background-image.png) no-repeat 0 0;
46 /* Table of Contents */
48 /* first level toc (unnumbered) */
54 background: #582007 url(../pictures/nav-bg.jpg)top left repeat-x;
59 -moz-border-radius-bottomleft: 7px;
60 -moz-border-radius-bottomright: 7px;
61 -webkit-border-bottom-left-radius: 7px;
62 -webkit-border-bottom-right-radius: 7px;
64 /*border:1px solid black;
65 background-color: silver;*/
73 list-style-type: none;
78 #tocframe > ul:first-child > li:first-child a {
80 background: #582007 url(../pictures/nav-bg.jpg) top left repeat-x transparent url(../pictures/lily-home.png) no-repeat 50% 50%;
83 border-bottom-left-radius: 30px;
84 -moz-border-radius-bottomleft: 7px;
85 -webkit-border-bottom-left-radius: 7px;
88 #tocframe > ul:first-child > li:first-child a:hover {
89 background: #58210c url(../pictures/nav-hover.jpg) /*url(../pictures/lily-home.png) no-repeat 50% 50%*/;
93 #tocframe > ul:first-child > li:first-child.toc_current a {
95 background: #FFEBCC url(../pictures/nav-active.jpg) /*url(../pictures/lily-home.png) no-repeat 50% 50%*/;
99 #tocframe > ul:first-child > li:first-child.toc_current a:hover {
101 background: #58210c url(../pictures/nav-active.jpg) top left repeat-x /*transparent url(../pictures/lily-home.png) no-repeat 50% 50%*/;
105 #tocframe > ul:first-child > li:last-child {
107 -moz-border-radius-bottomright: 7px;
108 -webkit-border-bottom-right-radius: 7px;
121 background: #CF9B5F url(../pictures/nav-bg.jpg);
127 #tocframe li form input {
135 -moz-border-radius-topright: 20px;
136 -moz-border-radius-bottomright: 20px;
137 -webkit-border-top-right-radius: 20px;
138 -webkit-border-bottom-right-radius: 20px;
148 background: #CF9B5F url(../pictures/nav-bg.jpg);
151 #tocframe li a:hover {
152 background: #58210c url(../pictures/nav-hover.jpg);
153 text-decoration: underline;
156 #tocframe li.toc_current a,
157 #tocframe li.toc_current a:hover {
158 background: #58210c url(../pictures/nav-active.jpg);
160 text-decoration: underline;
163 /* second level toc (unnumberedsec) */
165 #tocframe .toc .toc {
175 #tocframe .toc .toc li {
181 #tocframe .toc .toc li:first-child a {
182 -moz-border-radius-topleft: 7px;
183 -moz-border-radius-bottomleft: 7px;
184 -webkit-border-top-left-radius: 7px;
185 -webkit-border-bottom-left-radius: 7px;
188 #tocframe .toc .toc li:last-child a {
189 -moz-border-radius-topright: 7px;
190 -moz-border-radius-bottomright: 7px;
191 -webkit-border-top-right-radius: 7px;
192 -webkit-border-bottom-right-radius: 7px;
195 #tocframe .toc .toc li a {
200 text-decoration: none;
208 #tocframe .toc .toc li.toc_current a {
212 #tocframe .toc .toc li.toc_current a:hover {
216 #tocframe .toc .toc li a:hover {
220 /* colored second-level TOC items */
221 #tocframe .toc .toc li.color1 a {
222 text-decoration: none;
226 #tocframe .toc .toc li.color2 a {
227 text-decoration: none;
231 #tocframe .toc .toc li.color3 a {
232 text-decoration: none;
236 #tocframe .toc .toc li.color4 a {
237 text-decoration: none;
241 /* having this useless style makes the perl init file easier */
242 #tocframe .toc .toc li.colorDefault a {
245 #tocframe .toc .toc li.color1 a:hover {
249 #tocframe .toc .toc li.color2 a:hover {
253 #tocframe .toc .toc li.color3 a:hover {
257 #tocframe .toc .toc li.color4 a:hover {
261 #tocframe .toc .toc li.color1.toc_current a {
265 #tocframe .toc .toc li.color1.toc_current a:hover {
269 #tocframe .toc .toc li.color2.toc_current a {
273 #tocframe .toc .toc li.color2.toc_current a:hover {
277 #tocframe .toc .toc li.color3.toc_current a {
281 #tocframe .toc .toc li.color3.toc_current a:hover {
285 #tocframe .toc .toc li.color4.toc_current a {
289 #tocframe .toc .toc li.color4.toc_current a:hover {
293 /* third level toc (unnumberedsubsec) */
295 #tocframe .toc .toc .toc {
302 #tocframe .toc .toc .toc li {
308 #tocframe .toc .toc .toc li a {
312 text-decoration: none;
319 #tocframe .toc .toc .toc li a:hover {
323 #tocframe .toc .toc .toc li.toc_current a {
327 #tocframe .toc .toc .toc li.toc_current a:hover {
334 /* this value may need to be adjusted */
340 margin: 0 auto 11.7em;
341 /* Necessary to stretch over floated content;
342 * will cause scrollbars to appear for content
343 * that is wider than the width of this div
348 /* FIXME: does not work in IE<=6 */
349 #main > a:first-child {
362 #pageHeader .heading {
389 margin: 1.4em 13em 0 0;
393 #quickSummary .subheading {
395 border-bottom: 10px solid #5b7f64;
406 margin: 0 13em 1em 0;
412 .news-item .subsubheading {
414 padding: 0 0 0 0.5em;
415 border-bottom: 1px solid #5b7f64;
421 /* Not sure how to style the testimonials */
426 .testimonial-item .subsubheading {
428 padding: 0 0 0 0.5em;
431 .testimonial-item img.float-left,
432 .testimonial-item img.float-right {
436 .testimonial-item p {
452 border-left: 1px solid #5b7f64;
455 #latestVersion .subheading {
463 #latestVersion .subsubheading {
465 padding: 0.18em 0.25em;
466 border-bottom: 1px solid #5b7f64;
480 /* FIXME: may need to be adjusted */
496 border-bottom: 10px solid #5b7f64;
502 margin: 0.25em 0 0 0;
512 #verifier_texinfo h3 {
513 text-indent: -9999em;
515 border-bottom: 10px solid #5b7f64;
516 margin: 0 0 0.25em 0;
519 #verifier_texinfo img {
525 #verifier_texinfo p {
533 h1.unnumbered, h2.unnumberedsec, h3.unnumberedsubsec {
544 padding: 0 0 0 0.5em;
545 border-left: 3px solid green;
579 border: 1px solid #bbb;
583 div.float-left a.clickable,
584 div.float-center a.clickable,
585 div.float-right a.clickable {
586 text-decoration: overline;
615 border: 1px solid #8bbb6b;
620 .column-center-top h3 {
623 border-bottom: 1px solid #8bbb6b;
632 .column-left-bottom {
640 .column-left-bottom {
641 border: 1px solid #aabe70;
646 .column-left-bottom h3 {
648 border-bottom: 1px solid #aabe70;
657 .column-right-bottom {
664 .column-right-bottom {
665 border: 1px solid #cac175;
669 .column-right-top h3,
670 .column-right-bottom h3 {
672 border-bottom: 1px solid #cac175;
675 .column-center-bottom {
679 border: 1px solid #e9c47b;
684 .column-center-bottom h3 {
687 border-bottom: 1px solid #e9c47b;
691 .column-center-bottom,
695 .column-right-bottom {
699 .column-center-top h3,
700 .column-center-bottom h3,
702 .column-left-bottom h3,
703 .column-right-top h3,
704 .column-right-bottom h3 {
709 .column-center-top h4,
710 .column-center-bottom h4,
712 .column-left-bottom h4,
713 .column-right-top h4,
714 .column-right-bottom h4 {
715 padding: 0.5em 0.5em 0;
719 .column-center-top ul,
720 .column-center-bottom ul,
722 .column-left-bottom ul,
723 .column-right-top ul,
724 .column-right-bottom ul {
725 list-style-type: none;
730 .column-center-top li,
731 .column-center-bottom li,
733 .column-left-bottom li,
734 .column-right-top li,
735 .column-right-bottom li {
741 .column-center-top p,
742 .column-center-bottom p,
744 .column-left-bottom p,
746 .column-right-bottom p {
750 .column-center-top img.float-left,
751 .column-center-top img.float-right,
752 .column-center-bottom img.float-left,
753 .column-center-bottom img.float-right,
754 .column-left-top img.float-left,
755 .column-left-top img.float-right,
756 .column-left-bottom img.float-left,
757 .column-left-bottom img.float-right,
758 .column-right-top img.float-left,
759 .column-right-top img.float-right,
760 .column-right-bottom img.float-left,
761 .column-right-bottom img.float-right {
765 /* Centered divs by color */
786 border: 1px solid #8bbb6b;
792 border-bottom: 1px solid #8bbb6b;
796 border: 1px solid #aabe70;
801 border-bottom: 1px solid #aabe70;
805 border: 1px solid #cac175;
810 border-bottom: 1px solid #cac175;
814 border: 1px solid #e9c47b;
819 border-bottom: 1px solid #e9c47b;
823 list-style-type: disc;
836 border: 1px solid green;
837 /* Experimental rounded corners */
838 -moz-border-radius: 10px;
839 -webkit-border-radius: 10px;
862 border: 10px dotted green;
871 /* kill title, probably best done in the init file, though */