+/* Generic elements */
+
+html {
+ padding: 0;
+ margin: 0;
+}
+
+body {
+ position: absolute;
+ top: 0;
+ left: 0.5%;
+ right: 0.5%;
+ width: 99%;
+ min-width: 42em;
+ max-width: 70em;
+ font-size: 95%;
+ line-height: 1.5;
+ background: #fff url(../pictures/background-image.png) no-repeat 0 0;
+ text-align: justify;
+ padding: 0;
+ margin: 0 auto;
+}
+
+hr {
+ display: none;
+}
+
+p {
+ margin: 0.5em;
+}
+
+h1, h2, h3, h4, h5 {
+ margin: 1em 10px;
+}
+
+li {
+ margin-right: 1em;
+}
+
+a img {
+ border: 0;
+}
+
+/* Hyperlinks */
+
+/* no dotted line around clicked tabs */
+a:focus {
+ outline-style: none;
+}
+
+a:link {
+ color: #0c51ab;
+}
+
+a:visited {
+ color: #804f01;
+}
+
+a:hover {
+ color: #0105ad;
+}
+
+/* Table of Contents */
+/* first level toc (unnumbered) */
+div#tocframe {
+ position: absolute;
+ top: 0;
+ left: 0;
+ right: 0;
+ background: #6aec7c url(../pictures/nav-bg.png) repeat-x top left;
+ max-width: 70em;
+ font-size: 100%;
+ line-height: 1;
+ padding: 0;
+ -moz-border-radius-bottomleft: 7px;
+ -moz-border-radius-bottomright: 7px;
+ -webkit-border-bottom-left-radius: 7px;
+ -webkit-border-bottom-right-radius: 7px;
+ margin: 0;
+}
+
+#tocframe a {
+ color: #fff;
+ text-decoration: none;
+}
+
+#tocframe ul.toc {
+ list-style-type: none;
+ padding: 0;
+ margin: 0;
+}
+
+#tocframe > ul:first-child > li:first-child a {
+ text-indent: -999em;
+ background: #6aec7c url(../pictures/lily-home-nav-bg.png) no-repeat 50% 50%;
+ width: 9%;
+ /* css3 no go yet? */
+ border-bottom-left-radius: 30px;
+ -moz-border-radius-bottomleft: 7px;
+ -webkit-border-bottom-left-radius: 7px;
+}
+
+#tocframe > ul:first-child > li:first-child a:hover {
+ background: #6aec7c url(../pictures/lily-home-nav-hover.png) no-repeat 50% 50%;
+ width: 9%;
+}
+
+#tocframe > ul:first-child > li:first-child.toc_current a {
+ text-indent: -999em;
+ background: url(../pictures/lily-home-nav-active.png) no-repeat 50% 50%;
+ width: 9%;
+}
+
+#tocframe > ul:first-child > li:first-child.toc_current a:hover {
+ text-indent: -999em;
+ background: url(../pictures/lily-home-nav-active.png) no-repeat 50% 50%;
+ width: 9%;
+}
+
+#tocframe > ul:first-child > li:last-child {
+ width: 9%;
+ -moz-border-radius-bottomright: 7px;
+ -webkit-border-bottom-right-radius: 7px;
+}
+
+#tocframe li {
+ display: inline;
+ padding: 0;
+ margin: 0;
+}
+
+/* search box */
+#tocframe li form {
+ float: left;
+ width: 17%;
+ background: #6aec7c url(../pictures/nav-bg.png);
+ font-size: 100%;
+ padding: 0.45em 0.8%;
+ margin: 0;
+}
+
+#tocframe li form input {
+ display: block;
+ float: left;
+ width: 95%;
+ font-size: 100%;
+ padding: 0.1em;
+ border: 0;
+ margin: 0;
+ -moz-border-radius-topright: 20px;
+ -moz-border-radius-bottomright: 20px;
+ -webkit-border-top-right-radius: 20px;
+ -webkit-border-bottom-right-radius: 20px;
+}
+
+#tocframe li form input[type="hidden"] {
+ position: relative;
+ height: 0;
+ overflow: hidden;
+ text-indent: -999em;
+ padding: 0;
+ margin: 0;
+}
+
+#tocframe li a {
+ background: #6aec7c url(../pictures/nav-bg.png);
+ float: left;
+ width: 18%;
+ text-align: center;
+ font-weight: bold;
+ padding: 0.68em 0;
+ margin: 0;
+}
+
+#tocframe li a:hover {
+ background: url(../pictures/nav-hover.png);
+}
+
+#tocframe li.toc_current a,
+#tocframe li.toc_current a:hover {
+ background: url(../pictures/nav-active.png);
+ color: #fff;
+ text-decoration: underline;
+}
+
+/* second level toc (unnumberedsec) */
+#tocframe .toc .toc {
+ position: absolute;
+ top: 3.8em;
+ left: 0.5%;
+ right: 0.5%;
+ font-size: 82%;
+ padding: 0;
+ margin: 0;
+}
+
+#tocframe .toc .toc li {
+ display: inline;
+ padding: 0;
+ margin: 0;
+}
+
+#tocframe .toc .toc li:first-child a {
+ -moz-border-radius-topleft: 7px;
+ -moz-border-radius-bottomleft: 7px;
+ -webkit-border-top-left-radius: 7px;
+ -webkit-border-bottom-left-radius: 7px;
+}
+
+#tocframe .toc .toc li:last-child a {
+ -moz-border-radius-topright: 7px;
+ -moz-border-radius-bottomright: 7px;
+ -webkit-border-top-right-radius: 7px;
+ -webkit-border-bottom-right-radius: 7px;
+}
+
+#tocframe .toc .toc li a {
+ float: left;
+ width: auto;
+ background: #ceffae;
+ line-height: 2;
+ color: #000;
+ text-decoration: none;
+ text-indent: 0;
+ font-weight: normal;
+ padding: 0 0.5em;
+ margin: 0;
+}
+
+#tocframe .toc .toc li a:hover {
+ background: #bdee9d;
+}
+
+/* colored second-level TOC items */
+#tocframe .toc .toc li.color1 a {
+ background: #9ccc7c url(../pictures/color1-bg.png) repeat-x top left;
+}
+
+#tocframe .toc .toc li.color2 a {
+ background: #bbcf81 url(../pictures/color2-bg.png) repeat-x top left;
+}
+
+#tocframe .toc .toc li.color3 a {
+ background: #dbd286 url(../pictures/color3-bg.png) repeat-x top left;
+}
+
+#tocframe .toc .toc li.color4 a {
+ background: #fad58c url(../pictures/color4-bg.png) repeat-x top left;
+}
+
+#tocframe .toc .toc li.colorDefault a {
+ background: #8cbc6c url(../pictures/nav-bg-2.png) repeat-x top left;
+ color: #fff;
+}
+
+#tocframe .toc .toc li.colorDefault a:hover {
+ background: #8cbc6c url(../pictures/nav-hover-2.png) repeat-x top left;
+ color: #fff;
+}
+
+#tocframe .toc .toc li.color1 a:hover {
+ background: #addd8d url(../pictures/color1-hover.png) repeat-x top left;
+}
+
+#tocframe .toc .toc li.color2 a:hover {
+ background: #ccdf92 url(../pictures/color2-hover.png) repeat-x top left;
+}
+
+#tocframe .toc .toc li.color3 a:hover {
+ background: #ece297 url(../pictures/color3-hover.png) repeat-x top left;
+}
+
+#tocframe .toc .toc li.color4 a:hover {
+ background: #fbe69d url(../pictures/color4-hover.png) repeat-x top left;
+}
+
+#tocframe .toc .toc li.toc_current a,
+#tocframe .toc .toc li.toc_current a:hover {
+ color: #000;
+ text-decoration: underline;
+}
+
+#tocframe .toc .toc li.colorDefault.toc_current a,
+#tocframe .toc .toc li.colorDefault.toc_current a:hover {
+ background: #8cbc6c url(../pictures/nav-active-2.png) repeat-x top left;
+ color: #fff;
+ text-decoration: underline;
+}
+
+#tocframe .toc .toc li.color1.toc_current a,
+#tocframe .toc .toc li.color1.toc_current a:hover {
+ background: #beee9e url(../pictures/color1-active.png) repeat-x top left;
+}
+
+#tocframe .toc .toc li.color2.toc_current a,
+#tocframe .toc .toc li.color2.toc_current a:hover {
+ background: #ddefa3 url(../pictures/color2-active.png) repeat-x top left;
+}
+
+#tocframe .toc .toc li.color3.toc_current a,
+#tocframe .toc .toc li.color3.toc_current a:hover {
+ background: #fdf4a8 url(../pictures/color3-active.png) repeat-x top left;
+}
+
+#tocframe .toc .toc li.color4.toc_current a,
+#tocframe .toc .toc li.color4.toc_current a:hover {
+ background: #fcf7ae url(../pictures/color4-active.png) repeat-x top left;
+}
+
+/* third level toc (unnumberedsubsec) */
+#tocframe .toc .toc .toc {
+ position: absolute;
+ top: 2em;
+ left: 5%;
+ font-size: 100%;
+}
+
+#tocframe .toc .toc .toc li {
+ display: inline;
+ padding: 0;
+ margin: 0;
+}
+
+#tocframe .toc .toc .toc li a {
+ float: left;
+ width: auto;
+ background: #ceffae;
+ text-decoration: none;
+ text-indent: 0;
+ font-weight: normal;
+ padding: 0 0.75em;
+ margin: 0;
+}
+
+#tocframe .toc .toc .toc li a:hover {
+ background: #bdee9d;
+}
+
+#tocframe .toc .toc .toc li.toc_current a {
+ background: #acdd8c;
+}
+
+#tocframe .toc .toc .toc li.toc_current a:hover {
+ background: #acdd8c;
+}
+
+/* Divs */
+div#main {
+ position: relative;
+ /* this value may need to be adjusted */
+ top: 7.7em;
+ left: 0;
+ right: 0;
+ width: 100%;
+ max-width: 70em;
+ margin: 0 auto 11.7em;
+ /* Necessary to stretch over floated content;
+ * will cause scrollbars to appear for content
+ * that is wider than the width of this div.
+ *
+ * FIXME: This breaks Konqueror 3 and 4.
+ */
+ overflow: auto;
+}
+
+/* FIXME: does not work in IE<=6 */
+#main > a:first-child {
+ position: absolute;
+ top: -10em;
+}
+
+div#pageHeader {
+ width: 100%;
+ height: 10em;
+ padding-top: 2em;
+ border: solid #ddd;
+ border-width: 0;
+ margin: 0 0 1.4em 0;
+}
+
+#pageHeader .heading {
+ font-size: 4em;
+ text-align: left;
+ padding: 0;
+ margin: 0 0 0 340px;
+}
+
+#pageHeader p {
+ font-size: 1.2em;
+ font-style: italic;
+ text-align: left;
+ padding: 0;
+ margin: 0 0 0 340px;
+}
+
+div#lilylogo {
+ position: absolute;
+ top: 0;
+ left: 0;
+}
+
+div#cmws {
+ position: absolute;
+ top: 0;
+ left: 50%;
+}
+
+div#quickSummary {
+ text-align: left;
+ margin: 4em 13em 0 0;
+}
+
+#quickSummary .subheading {
+ background: #fff url(../pictures/summary-gradient.png) repeat-y 0 0;
+ color: #fff;
+ padding: 0 0.5em;
+ margin: 0;
+}
+
+#quickSummary p {
+ padding: 0.5em;
+ margin: 0;
+}
+
+div.separator {
+ background: transparent url(../pictures/squiggle.jpg) no-repeat 40% 60%;
+ height: 36px;
+ clear: both;
+ padding: 10px;
+}
+
+div#news {
+ padding: 0;
+ margin: 0 13em 1em 0;
+}
+
+div.news-item {
+}
+
+.news-item .subsubheading {
+ text-align: left;
+ padding: 0 0 0 0.5em;
+ border-bottom: 1px solid #5b7f64;
+ margin: 0;
+ overflow: hidden;
+}
+
+.testimonial-item {
+ /* Not sure how to style the testimonials */
+ clear: both;
+ margin: 2em 0;
+}
+
+.testimonial-item .subsubheading {
+ text-align: left;
+ padding: 0 0 0 0.5em;
+}
+
+.testimonial-item img.float-left,
+.testimonial-item img.float-right {
+ margin: 1em 1em 2em;
+}
+
+.testimonial-item p {
+ padding: 0 0.5em;
+}
+
+.news-item p {
+ text-align: left;
+ padding: 0.5em;
+ margin: 0;
+}
+
+div#latestVersion {
+ position: absolute;
+ top: 12.4em;
+ right: 0;
+ width: 12em;
+ text-align: center;
+ border-left: 1px solid #5b7f64;
+}
+
+#latestVersion .subheading {
+ background: #5b7f64;
+ color: #fff;
+ text-align: center;
+ padding: 0 0.5em;
+ margin: 0;
+}
+
+/* this might not work in certain browsers */
+a[name="Stable"] + h4 {
+ background: #bdee9d url(../pictures/color1-bg.png) repeat-x top left;
+}
+
+/* this might not work in certain browsers */
+a[name="Unstable"] + h4 {
+ background: #fad58c url(../pictures/color3-bg.png) repeat-x top left;
+}
+
+#latestVersion .subsubheading {
+ padding: 0.08em 0.25em;
+ border-bottom: 1px solid #5b7f64;
+ margin: 0;
+}
+
+#latestVersion p {
+ font-size: 90%;
+ padding: 0.5em;
+ margin: 0;
+}
+
+div#footer {
+ clear: both;
+ width: 100%;
+ border-top: 10px solid #5b7f64;
+}
+
+div#language {
+ position: absolute;
+ top: 0;
+ left: 0;
+ right: 50%;
+ width: 50%;
+ text-indent: 0.5em;
+ padding: 0;
+}
+
+#language h3 {
+ padding: 0;
+ border-bottom: 10px solid #5b7f64;
+ margin: 0;
+}
+
+#language p {
+ padding: 0;
+ margin: 0.25em 0 0 0;
+}
+
+/* used on website; not certain about the above ones.
+ see Issue 1105 */
+p#languages {
+ float: left;
+ width: 45%;
+ padding: 0.7em;
+ margin: 0;
+ text-align: left;
+}
+
+#verifier_texinfo {
+ font-size: 0.8em;
+ float: right;
+ width: 48%;
+ padding: 0.5em;
+}
+
+#verifier_texinfo h3 {
+ position: relative;
+ height: 0;
+ text-indent: -9999em;
+ padding: 0;
+ margin: 0;
+}
+
+#verifier_texinfo img {
+ vertical-align: middle;
+ padding: 0;
+ margin: 0 0 0 0.5em;
+}
+
+#verifier_texinfo p {
+ clear: right;
+ text-align: right;
+ padding: 0;
+ margin: 0;
+}
+
+h1.unnumbered, h2.unnumberedsec, h3.unnumberedsubsec {
+ position: relative;
+ height: 0;
+ text-indent: -999em;
+ padding: 0;
+ margin: 0;
+ overflow: hidden;
+}
+
+table {
+ text-align: left;
+ padding: 0 0 0 0.5em;
+ border-left: 3px solid green;
+ margin: 1em 0 0 1em;
+}
+
+table td {
+ padding: 0.4em;
+}
+
+table a {
+ text-align: left;
+}
+
+.verbatim {
+ margin: 10px;
+}
+
+.float-left {
+ float: left;
+}
+
+.float-center {
+ text-align: center;
+ display: block;
+ margin: 0 auto;
+}
+
+.float-right {
+ float: right;
+}
+
+img.float-left,
+img.float-right {
+ background: #fff;
+ padding: 1em;
+ border: 1px solid #bbb;
+ margin: 0.1em 0.5em;
+}
+
+div.float-left a.clickable,
+div.float-center a.clickable,
+div.float-right a.clickable {
+ text-decoration: overline;
+ margin-left: 1em;
+}
+
+.clear-both {
+ clear: both;
+}
+
+.align-right {
+ text-align: right;
+}
+
+.heading-center {
+ text-align: center;
+ width: 75%;
+ margin: 0 auto;
+}
+
+.heading-center h2 {
+ padding: 0.25em 0;
+ margin: 0;
+}
+
+/* Columns */
+.column-center-top {
+ float: left;
+ width: 99.5%;
+ text-align: left;
+ border: 1px solid #9ccc7c;
+ margin: 1em auto;
+}
+
+/* color1 */
+.column-center-top h3 {
+ background: #9ccc7c url(../pictures/color1-bg.png) repeat-x top left;
+ text-align: left;
+ border-bottom: 1px solid #9ccc7c;
+}
+
+.column-left-top {
+ float: left;
+ width: 49%;
+ margin: 1em 0;
+}
+
+.column-left-bottom {
+ clear: both;
+ float: left;
+ width: 49%;
+ margin: 1em 0;
+}
+
+.column-left-top,
+.column-left-bottom {
+ border: 1px solid #adce82;
+}
+
+/* color2 */
+.column-left-top h3,
+.column-left-bottom h3 {
+ background: #adce82 url(../pictures/color2-bg.png) repeat-x top left;
+ border-bottom: 1px solid #adce82;
+}
+
+.column-right-top {
+ float: right;
+ width: 49%;
+ margin: 1em 0;
+}
+
+.column-right-bottom {
+ float: right;
+ width: 49%;
+ margin: 1em 0;
+}
+
+.column-right-top,
+.column-right-bottom {
+ border: 1px solid #bdd088;
+}
+
+/* color3 */
+.column-right-top h3,
+.column-right-bottom h3 {
+ background: #bdd088 url(../pictures/color3-bg.png) repeat-x top left;
+ border-bottom: 1px solid #bdd088;
+}
+
+.column-center-bottom {
+ clear: both;
+ width: 99.5%;
+ text-align: center;
+ border: 1px solid #ccd38f;
+ margin: 1em auto 0;
+}
+
+/* color4 */
+.column-center-bottom h3 {
+ background: #ccd38f url(../pictures/color4-bg.png) repeat-x top left;
+ text-align: left;
+ border-bottom: 1px solid #ccd38f;
+}
+
+.column-center-top,
+.column-center-bottom,
+.column-left-top,
+.column-left-bottom,
+.column-right-top,
+.column-right-bottom {
+ background: #f5fffa;
+}
+
+.column-center-top h3,
+.column-center-bottom h3,
+.column-left-top h3,
+.column-left-bottom h3,
+.column-right-top h3,
+.column-right-bottom h3 {
+ text-align: left;
+ padding: 0 0.5em;
+ margin: 0;
+}
+
+.column-center-top h4,
+.column-center-bottom h4,
+.column-left-top h4,
+.column-left-bottom h4,
+.column-right-top h4,
+.column-right-bottom h4 {
+ text-align: left;
+ padding: 0.5em 0.5em 0;
+ margin: 0 0 0.5em 0;
+}
+
+.column-center-top ul,
+.column-center-bottom ul,
+.column-left-top ul,
+.column-left-bottom ul,
+.column-right-top ul,
+.column-right-bottom ul {
+ list-style-type: none;
+ padding: 0;
+ margin: 0.5em 0;
+}
+
+.column-center-top li,
+.column-center-bottom li,
+.column-left-top li,
+.column-left-bottom li,
+.column-right-top li,
+.column-right-bottom li {
+ text-align: left;
+ padding: 0 0.5em 0;
+ margin: 0 0 0.5em 0;
+}
+
+.column-center-top p,
+.column-center-bottom p,
+.column-left-top p,
+.column-left-bottom p,
+.column-right-top p,
+.column-right-bottom p {
+ text-align: left;
+}
+
+.column-center-top img.float-left,
+.column-center-top img.float-right,
+.column-center-bottom img.float-left,
+.column-center-bottom img.float-right,
+.column-left-top img.float-left,
+.column-left-top img.float-right,
+.column-left-bottom img.float-left,
+.column-left-bottom img.float-right,
+.column-right-top img.float-left,
+.column-right-top img.float-right,
+.column-right-bottom img.float-left,
+.column-right-bottom img.float-right {
+ margin: 0.5em;
+}
+
+/* Centered divs by color */
+div.color1,
+div.color2,
+div.color3,
+div.color4 {
+ clear: both;
+ width: 99.5%;
+ background: #f5fffa;
+ margin: 1em auto;
+}
+
+div.color1 h3,
+div.color2 h3,
+div.color3 h3,
+div.color4 h3 {
+ padding: 0 0.5em;
+ margin: 0;
+}
+
+div.color1 {
+ border: 1px solid #9ccc7c;
+ margin: 1em auto;
+}
+
+div.color1 h3 {
+ background: #9ccc7c;
+ border-bottom: 1px solid #9ccc7c;
+}
+
+div.color2 {
+ border: 1px solid #adce82;
+}
+
+div.color2 h3 {
+ background: #adce82;
+ border-bottom: 1px solid #adce82;
+}
+
+div.color3 {
+ border: 1px solid #bdd088;
+}
+
+div.color3 h3 {
+ background: #bdd088;
+ border-bottom: 1px solid #bdd088;
+}
+
+div.color4 {
+ border: 1px solid #ccd38f;
+}
+
+div.color4 h3 {
+ background: #ccd38f;
+ border-bottom: 1px solid #ccd38f;
+}
+
+.keep-bullets ul {
+ list-style-type: disc;
+ padding: 0;
+ margin: 0.5em 1.5em;
+}
+
+.keep-bullets li {
+ padding: 0;
+}
+
+.normal-table table {
+ padding : 0em;
+ border-left: 2px;
+ margin: 0em;
+}
+
+.normal-table table td {
+ padding: 0em;
+}
+
+.normal-table table a {
+}
+
+.normal-table p {
+ line-height: 0.8;
+}
+
+.example {
+ position: relative;
+ left: -2.5em;
+}
+
+.h-scroll-auto {
+ position: relative;
+ left: 1em;
+ width: 250px;
+ overflow: auto;
+}
+
+.warning {
+ background: #eef;
+ text-align: left;
+ padding: 0;
+ border: 1px solid green;
+ /* Experimental rounded corners */
+ -moz-border-radius: 10px;
+ -webkit-border-radius: 10px;
+ margin: 1em;
+}
+
+.warning p {
+ padding: 0.5em;
+ margin: 0;
+}
+
+.contactBox {
+ float: left;
+ background: #eef;
+ text-align: left;
+ border: 1px solid green;
+ padding: 0;
+ margin: 1em;
+}
+
+.contactBox p {
+ padding: 0.5em;
+ margin: 0;
+}
+
+
+.hide {
+ position: relative;
+ text-indent: -999em;
+ height: 0;
+ overflow: hidden;
+}
+
+.help {
+ background: #f77;
+ color: black;
+ text-align: center;
+ font-weight: bold;
+ width: 75%;
+ padding: 1em;
+ border: 10px dotted green;
+ margin: 1em auto;
+}
+
+.legal {
+ font-size: 0.6em;
+}
+
+.link-headings a {
+ font-weight: bold;
+}
+
+.detail {
+ font-size: 0.8em;
+}
+
+.detail a {
+ font-weight: normal;
+}
+
+/* kill title, probably best done in the init file, though */
+h1.settitle {
+ position: relative;
+ height: 0;
+ text-indent: -999em;
+ padding: 0;
+ margin: 0;
+ overflow: hidden;
+}