+++ /dev/null
-/**********************************************************/
-/* PAGE-WIDE SETTINGS */
-/**********************************************************/
-
-html {
- height: 100%;
-}
-
-body {
- background-color: white;
- color: black;
- font-size: 87.5%;
- height: 100%;
- line-height: 1.125;
- margin: 0 auto;
- padding: 0;
-}
-
-
-/***********************************************************/
-/* HEADERS */
-/***********************************************************/
-
-.chapter, .section, .subsection,
-.appendix, .appendixsec, .appendixsubsec,
-.unnumberedsubsubsec, .subsubheading,
-.unnumbered, .subheading {
- border-bottom: 1px dashed #bbb;
- color: #204a87;
- margin: 1em 0;
- padding-bottom: 0.4em;
-}
-
-.settitle {
- background-color: #eef;
- border-bottom: 1px solid #3465A4;
- font-size: 2em;
- margin: 0.5em 0 0 0;
- padding: 0.5em;
-}
-
-.chapter {
- font-size: 1.8em;
- padding: 0.5em;
-}
-
-.section {
- font-size: 1.6em;
- padding: 0.5em;
-}
-
-.subsection {
- font-size: 1.4em;
- padding: 0.5em;
-}
-
-.unnumberedsubsubsec {
- font-size: 1.25em;
- padding: 0.5em;
-}
-
-.subsubheading {
- font-size: 1em;
- font-weight: bold;
- padding: 0.5em 1em;
-}
-
-/***********************************************************/
-/* LINKS */
-/***********************************************************/
-
-a:link {
- /* color: #4169e1; */
- /* color: #3555b6; */
- color: #3465a4;
-}
-
-a:visited {
- color: #8f5902;
-}
-
-a:hover {
- color: #ce5c00;
-}
-
-a:active {
- color: #4487D7;
-}
-
-/***********************************************************/
-/* BLOCK FORMATTING */
-/***********************************************************/
-
-blockquote, .smallexample {
- border: thin solid #3465a4;
- border-width: 0 0 0 2px;
- margin: 1em 0 1em 3em;
- padding: 0;
-}
-
-blockquote p, pre.smallexample {
- margin: 0;
- padding: 1em;
-}
-
-blockquote blockquote {
- border: none;
- /* border: thick red dashed; */
-}
-
-.verbatim, .example, .lisp {
- font-size: 1.25em;
- margin: 0;
- padding: 1em;
-}
-
-hr {
- display: none;
-}
-
-table.cartouche {
- background: #eee;
- border: 1px solid #3465a4;
- border-width: 0 0 0 2px;
- width: 85%;
- padding: 0 0.5em;
- margin: 1em 0 1em 3em;
-}
-
-table.cartouche p {
- padding: 1em;
- margin: 0;
-}
-
-table.cartouche td {
- border: none;
-}
-
-/***********************************************************/
-/* MAIN CONTENT */
-/***********************************************************/
-
-div#main {
- position: absolute;
- top: 0;
- right: 0;
- bottom: 0;
- left: 25%;
- padding: 0;
- margin: 0;
- overflow: auto;
-}
-
-div#main li {
- padding: 0 1em 0.5em 0;
-}
-
-div#main ul {
- margin: 0;
-}
-
-h1, h2, h3, h4, p, table, address, dt {
- padding-left: 1em;
- padding-right: 1em;
-}
-
-p {
- margin: 1em 0;
-}
-
-th {
- text-align: left;
-}
-
-#languages {
- margin: 0;
- padding: 1em;
-}
-
-pre.menu-comment {
- font-size: 1em;
- padding-top: 1em;
- padding-bottom: 0;
- margin: 0;
-}
-
-/***********************************************************/
-/* TOC SIDEBAR */
-/***********************************************************/
-
-div#tocframe {
- background-color: #F9FCFF;
- font-size: 0.83em;
- line-height: 1.4;
- list-style-type: none;
- margin: 0;
- padding: 0;
- position: absolute;
- bottom: 0;
- left: 0;
- right: 75%;
- top: 0;
- overflow: auto;
- z-index: 100;
-}
-
-/* position: fixed for savvy browsers */
-
-@media screen {
- body > div#tocframe {
- position: fixed;
- }
-}
-
-div#tocframe h4 {
- background-color: #eef;
- border: 1px solid #3465A4;
- border-width: 0 0 1px 0;
- color: #344;
- font-size: 1.2em;
- font-weight: normal;
- height: 26px;
- margin: 0;
- padding: 8px 0 0 6px;
-}
-
-#tocframe .contents {
- background-color: transparent;
- border: none;
- list-style-type: none;
- margin: 0;
- padding: 0;
-}
-
-#tocframe ul.toc {
- list-style-type: none;
- margin: 0;
- padding: 1em 0.5em;
-}
-
-#tocframe ul.toc ul.toc {
- margin: 0;
- padding: 0;
-}
-
-#tocframe ul.toc li {
- margin: 0;
- padding: 0;
-}
-
-#tocframe ul.toc > li {
- font-size: 1em;
-}
-
-#tocframe ul.toc li li {
- padding-left: 1em;
-}
-
-li.toc_current {
- font-style: italic;
- font-weight: bold;
-}
-
-li.toc_current ul {
- background: transparent;
- font-style: normal;
- font-weight: normal;
-}
-
-
-/***********************************************************/
-/* NAVIGATION */
-/***********************************************************/
-
-.nav_table {
- background-color: #eef;
- border: 1px solid #3465A4;
- border-width: 0 0 1px 0;
- font-size: 0.8em;
- margin: 0;
- padding: 0;
- width: 100%;
-}
-
-div.header {
- background-color: #dde;
- margin: 0.75em 0 0 0;
-}
-
-div.header h1 {
- margin: 0;
- padding: 0.5em 0 0.5em 1em;
-}
-
-div.subheader {
- background-color: #eef;
- margin: 0;
-}
-
-div.subheader p {
- margin: 0;
- padding: 1em 0 1em 2em;
-}
-
-table#navigation {
- line-height: 1.5;
- margin: 1em 0 1em 3em;
- padding: 0;
-}
-
-table#navigation td {
- padding: 0.5em 0.75em;
-}
-
-table#navigation ul {
- margin-bottom: 1em;
- padding-left: 0.5em;
-}
-
-table .title {
- font-weight: bold;
-}
-
-.footer {
- background-color: #eef;
- border: 1px solid #3465A4;
- border-width: 0 0 1px 0;
- font-size: 0.8em;
- text-indent: 1em;
- padding: 1.5em 0;
- margin: 1em 0 0 0;
-}
-
-.footer p {
- line-height: 1.5;
- padding: 0;
- margin: 0 0.25em;
-}
-
-table.menu {
- margin: 0 0 1em;
-}
-
-/***********************************************************/
-/* OVERRIDES FOR PRINTING */
-/***********************************************************/
-
-@media print {
- body { padding-left: 0; font: 10pt Georgia, Garamond, serif;}
- /* Hide the sidebar: */
- #tocframe { display: none; }
- .nav_table { display: none; }
- /* Let #main expand to fill the new space */
- div#main { position: static; left: 0; }
-}
\ No newline at end of file
--- /dev/null
+/**********************************************************/
+/* PAGE-WIDE SETTINGS */
+/**********************************************************/
+
+html {
+ height: 100%;
+}
+
+body {
+ margin: 0 auto;
+ padding: 0;
+ height: 100%;
+ font-size: 100%;
+ line-height: 1.125;
+ color: #000;
+ background-color: #fff;
+}
+
+/***********************************************************/
+/* HEADERS */
+/***********************************************************/
+
+.chapter, .section, .subsection, .subsubsection,
+.appendix, .appendixsec, .appendixsubsec,
+.unnumbered, .unnumberedsec, .unnumberedsubsec, .unnumberedsubsubsec,
+.subheading, .subsubheading {
+ color: #204a87;
+ border-bottom: 1px dashed black;
+ padding-bottom: 0.15em;
+ margin-top: 0.6em;
+ margin-bottom: 1em;
+}
+
+.settitle {
+ background: #b1d281;
+ font-size: 2em;
+ text-align: center;
+ padding: 0.4em 0.5em;
+ border: solid #7b925a;
+ border-width: 1px 0;
+ margin: 0;
+}
+
+.chapter, .appendix, .unnumbered {
+ font-size: 1.8em;
+}
+
+.section, .appendixsec, .unnumberedsec {
+ font-size: 1.6em;
+}
+
+.subsection, .appendixsubsec, .unnumberedsubsec {
+ font-size: 1.4em;
+}
+
+.subheading, .subsubsection, .unnumberedsubsubsec {
+ font-size: 1.25em;
+}
+
+.subsubheading {
+ font-size: 1em;
+ font-weight: bold;
+}
+
+.chapheading {
+ position: absolute;
+ height: 0;
+ overflow: hidden;
+ text-indent: -999em;
+}
+
+/***********************************************************/
+/* LINKS */
+/***********************************************************/
+
+a:link {
+ color: #0c51ab;
+}
+
+a:visited {
+ color: #804f01;
+}
+
+a:active {
+ color: #278800;
+}
+
+a:hover {
+ color: #0105ad;
+}
+
+/***********************************************************/
+/* BLOCK FORMATTING */
+/***********************************************************/
+
+blockquote, .smallexample {
+ width: 96%;
+ padding: 0;
+ border: solid #b1d281;
+ border-width: 1px 1px 1px 5px;
+ margin: 1em auto;
+}
+
+blockquote p, pre.smallexample {
+ padding: 1em;
+ margin: 0;
+}
+
+blockquote blockquote {
+ border: none;
+}
+
+.verbatim, .example, .lisp {
+ font-size: 1em;
+ padding: 1em;
+ margin: 0;
+}
+
+#main hr {
+ height: 0;
+ padding: 0;
+ border: 0;
+ margin: 0;
+ text-indent: -999em;
+}
+
+table.cartouche {
+ background: #f5f5dc;
+ width: 85%;
+ border-collapse: collapse;
+ padding: 0 0.5em;
+ border: 2px solid #8f5902;
+ margin: 0 auto 1em;
+}
+
+table.cartouche p {
+ padding: 1em;
+ margin: 0;
+}
+
+table.cartouche td {
+ border: none;
+}
+
+/***********************************************************/
+/* MAIN CONTENT */
+/***********************************************************/
+
+div#main {
+ position: absolute;
+ top: 0;
+ right: 0;
+ bottom: 0;
+ left: 27%;
+ padding: 0;
+ margin: 0;
+ overflow: auto;
+}
+
+div#main li {
+ padding: 0 1em 0.5em 0;
+}
+
+div#main ul {
+ margin: 0;
+ padding-left: 3em;
+}
+
+h1, h2, h3, h4, p, table, address, dt {
+ padding-left: 1em;
+ padding-right: 1em;
+}
+
+p {
+ margin: 1em 0;
+}
+
+#languages {
+ padding: 0.5em 1em;
+ margin: 0;
+}
+
+pre.menu-comment {
+ font-size: 1em;
+ padding-top: 1em;
+ padding-bottom: 0;
+ margin: 0;
+}
+
+#main .contents li {
+ padding-bottom: 0;
+}
+
+#main .contents > ul {
+ margin-bottom: 1em;
+}
+
+/***********************************************************/
+/* TOC SIDEBAR */
+/***********************************************************/
+
+div#tocframe {
+ position: absolute;
+ top: 0;
+ right: 73%;
+ bottom: 0;
+ left: 0;
+ padding: 0;
+ margin: 0;
+ overflow: auto;
+ background: #f5f5dc;
+ z-index: 100;
+ list-style-type: none;
+ font-size: 0.83em;
+ line-height: 1.3;
+}
+
+@media screen {
+ body > div#tocframe {
+ position: fixed
+ }
+}
+
+div#tocframe a:link, div#tocframe a:visited {
+ color: #454532;
+ text-decoration: none;
+}
+
+div#tocframe a:hover {
+ color: #232b16;
+ text-decoration: underline;
+}
+
+div#tocframe p.toc_uplink {
+ font-size: 1em;
+ line-height: 1.125;
+ background: #c9ccc4;
+ padding: 0.25em 1em 0.25em 0.5em;
+ border-bottom: 1px solid #a0a087;
+ margin: 0;
+}
+
+div#tocframe p.toc_uplink a:link,
+div#tocframe p.toc_uplink a:visited {
+ color: #1c1c1b;
+}
+
+div#tocframe p.toc_uplink a:hover {
+ color: #000;
+}
+
+div#tocframe h4 {
+ font-size: 1em;
+ line-height: 1.125;
+ font-weight: bold;
+ font-style: italic;
+ padding: 0.75em 0.5em 0 0.5em;
+ margin: 0;
+}
+
+#tocframe .contents {
+ background-color: transparent;
+ list-style-type: none;
+ padding: 0;
+ border: 0;
+ margin: 0;
+}
+
+#tocframe ul.toc {
+ padding: 0.25em 0.5em 1em 0.5em;
+ list-style-type: none;
+ margin: 0;
+}
+
+#tocframe ul.toc ul.toc {
+ padding: 0;
+ margin: 0;
+}
+
+#tocframe ul.toc li {
+ padding: 0;
+ margin: 0;
+}
+
+#tocframe ul.toc > li {
+ font-size: 1em;
+}
+
+#tocframe ul.toc li li {
+ padding-left: 1em;
+}
+
+li.toc_current {
+ font-weight: bold;
+ font-style: italic;
+}
+
+li.toc_current ul {
+ font-weight: normal;
+ font-style: normal;
+ background: transparent;
+}
+
+/***********************************************************/
+/* NAVIGATION */
+/***********************************************************/
+
+.nav_table {
+ width: 100%;
+ background: #c9ccc4;
+ font-size: 0.83em;
+ border-collapse: collapse;
+ padding: 0;
+ border: none;
+ margin: 0;
+}
+
+.nav_table a:link, .nav_table a:visited {
+ color: #1c1c1b;
+ text-decoration: none;
+}
+
+.nav_table a:hover {
+ color: #000;
+ text-decoration: underline;
+}
+
+.nav_table tr, .nav_table a {
+ padding: 0;
+ margin: 0;
+}
+
+.nav_table td {
+ padding: 0.25em;
+ margin: 0;
+}
+
+div.header {
+ background: #b1d281;
+ text-align: center;
+ padding: 0.5em;
+ border-bottom: 1px solid #7b925a;
+ margin: 0;
+ height: auto;
+}
+
+div.header h1 {
+ font-size: 2em;
+ padding: 0.25em;
+ margin: 0;
+}
+
+div.subheader {
+ background: #ddd;
+ padding: 0;
+ margin: 0;
+ text-align: center;
+}
+
+div.subheader p {
+ padding: 0.5em;
+ margin: 0;
+}
+
+table#navigation {
+ line-height: 1.5;
+ padding: 0;
+ margin: 1em auto;
+}
+
+table#navigation td {
+ padding: 0.5em 0.75em;
+}
+
+table#navigation ul {
+ padding-left: 0.5em;
+ margin: 0;
+}
+
+table .title {
+ font-weight: bold;
+}
+
+.footer {
+ background: #e5f5ce;
+ font-size: 0.8em;
+ padding: 0.2em 0;
+ border: solid #b1d281;
+ border-width: 0 0 5px 0;
+ margin: 0;
+}
+
+.footer a:link {
+ color: #0308fc;
+}
+
+.footer p {
+ padding: 0 1.25em;
+ margin: 0.4em 0;
+}
+
+table.menu {
+ margin: 0 0 1em;
+}
+
+/***********************************************************/
+/* OVERRIDES FOR PRINTING */
+/***********************************************************/
+
+@media print {
+ /* Hide the sidebar: */
+ body { padding-left: 0; }
+ #tocframe { display: none; }
+ .nav_table { display: none; }
+}
+
+/***********************************************************/
+/* FORMATTING of AJAX SEARCH BOX */
+/***********************************************************/
+
+div#search {
+ border: none;
+ border-bottom: 1pt solid #C5972C;
+ background: #E8E3AC;
+ padding-left: 3px;
+ padding-top: 2px;
+ padding-bottom: 1px;
+}
+div#search p, div#search form {
+ padding: 0;
+ margin: 0;
+}
+#search_results {
+ font-size: 0.75em;
+ padding: 0;
+ margin: 0;
+ display: none;
+}
+#search_results table {
+ width: 100%;
+}
+
+/***********************************************************/
+/* OTHER */
+/***********************************************************/
+
+.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;
+}
+
+.advanced {
+ background: #eeffcc;
+ text-align: left;
+ padding: 0;
+ border: 1px solid green;
+ /* Experimental rounded corners */
+ -moz-border-radius: 10px;
+ -webkit-border-radius: 10px;
+ margin: 0.5em 0.5em 2em 3em;
+}
+++ /dev/null
-/**********************************************************/
-/* PAGE-WIDE SETTINGS */
-/**********************************************************/
-
-html {
- height: 100%;
-}
-
-body {
- margin: 0 auto;
- padding: 0;
- height: 100%;
- font-size: 100%;
- line-height: 1.125;
- color: #000;
- background-color: #fff;
-}
-
-/***********************************************************/
-/* HEADERS */
-/***********************************************************/
-
-.chapter, .section, .subsection, .subsubsection,
-.appendix, .appendixsec, .appendixsubsec,
-.unnumbered, .unnumberedsec, .unnumberedsubsec, .unnumberedsubsubsec,
-.subheading, .subsubheading {
- color: #204a87;
- border-bottom: 1px dashed black;
- padding-bottom: 0.15em;
- margin-top: 0.6em;
- margin-bottom: 1em;
-}
-
-.settitle {
- background: #b1d281;
- font-size: 2em;
- text-align: center;
- padding: 0.4em 0.5em;
- border: solid #7b925a;
- border-width: 1px 0;
- margin: 0;
-}
-
-.chapter, .appendix, .unnumbered {
- font-size: 1.8em;
-}
-
-.section, .appendixsec, .unnumberedsec {
- font-size: 1.6em;
-}
-
-.subsection, .appendixsubsec, .unnumberedsubsec {
- font-size: 1.4em;
-}
-
-.subheading, .subsubsection, .unnumberedsubsubsec {
- font-size: 1.25em;
-}
-
-.subsubheading {
- font-size: 1em;
- font-weight: bold;
-}
-
-.chapheading {
- position: absolute;
- height: 0;
- overflow: hidden;
- text-indent: -999em;
-}
-
-/***********************************************************/
-/* LINKS */
-/***********************************************************/
-
-a:link {
- color: #0c51ab;
-}
-
-a:visited {
- color: #804f01;
-}
-
-a:active {
- color: #278800;
-}
-
-a:hover {
- color: #0105ad;
-}
-
-/***********************************************************/
-/* BLOCK FORMATTING */
-/***********************************************************/
-
-blockquote, .smallexample {
- width: 96%;
- padding: 0;
- border: solid #b1d281;
- border-width: 1px 1px 1px 5px;
- margin: 1em auto;
-}
-
-blockquote p, pre.smallexample {
- padding: 1em;
- margin: 0;
-}
-
-blockquote blockquote {
- border: none;
-}
-
-.verbatim, .example, .lisp {
- font-size: 1em;
- padding: 1em;
- margin: 0;
-}
-
-#main hr {
- height: 0;
- padding: 0;
- border: 0;
- margin: 0;
- text-indent: -999em;
-}
-
-table.cartouche {
- background: #f5f5dc;
- width: 85%;
- border-collapse: collapse;
- padding: 0 0.5em;
- border: 2px solid #8f5902;
- margin: 0 auto 1em;
-}
-
-table.cartouche p {
- padding: 1em;
- margin: 0;
-}
-
-table.cartouche td {
- border: none;
-}
-
-/***********************************************************/
-/* MAIN CONTENT */
-/***********************************************************/
-
-div#main {
- position: absolute;
- top: 0;
- right: 0;
- bottom: 0;
- left: 27%;
- padding: 0;
- margin: 0;
- overflow: auto;
-}
-
-div#main li {
- padding: 0 1em 0.5em 0;
-}
-
-div#main ul {
- margin: 0;
- padding-left: 3em;
-}
-
-h1, h2, h3, h4, p, table, address, dt {
- padding-left: 1em;
- padding-right: 1em;
-}
-
-p {
- margin: 1em 0;
-}
-
-#languages {
- padding: 0.5em 1em;
- margin: 0;
-}
-
-pre.menu-comment {
- font-size: 1em;
- padding-top: 1em;
- padding-bottom: 0;
- margin: 0;
-}
-
-#main .contents li {
- padding-bottom: 0;
-}
-
-#main .contents > ul {
- margin-bottom: 1em;
-}
-
-/***********************************************************/
-/* TOC SIDEBAR */
-/***********************************************************/
-
-div#tocframe {
- position: absolute;
- top: 0;
- right: 73%;
- bottom: 0;
- left: 0;
- padding: 0;
- margin: 0;
- overflow: auto;
- background: #f5f5dc;
- z-index: 100;
- list-style-type: none;
- font-size: 0.83em;
- line-height: 1.3;
-}
-
-@media screen {
- body > div#tocframe {
- position: fixed
- }
-}
-
-div#tocframe a:link, div#tocframe a:visited {
- color: #454532;
- text-decoration: none;
-}
-
-div#tocframe a:hover {
- color: #232b16;
- text-decoration: underline;
-}
-
-div#tocframe p.toc_uplink {
- font-size: 1em;
- line-height: 1.125;
- background: #c9ccc4;
- padding: 0.25em 1em 0.25em 0.5em;
- border-bottom: 1px solid #a0a087;
- margin: 0;
-}
-
-div#tocframe p.toc_uplink a:link,
-div#tocframe p.toc_uplink a:visited {
- color: #1c1c1b;
-}
-
-div#tocframe p.toc_uplink a:hover {
- color: #000;
-}
-
-div#tocframe h4 {
- font-size: 1em;
- line-height: 1.125;
- font-weight: bold;
- font-style: italic;
- padding: 0.75em 0.5em 0 0.5em;
- margin: 0;
-}
-
-#tocframe .contents {
- background-color: transparent;
- list-style-type: none;
- padding: 0;
- border: 0;
- margin: 0;
-}
-
-#tocframe ul.toc {
- padding: 0.25em 0.5em 1em 0.5em;
- list-style-type: none;
- margin: 0;
-}
-
-#tocframe ul.toc ul.toc {
- padding: 0;
- margin: 0;
-}
-
-#tocframe ul.toc li {
- padding: 0;
- margin: 0;
-}
-
-#tocframe ul.toc > li {
- font-size: 1em;
-}
-
-#tocframe ul.toc li li {
- padding-left: 1em;
-}
-
-li.toc_current {
- font-weight: bold;
- font-style: italic;
-}
-
-li.toc_current ul {
- font-weight: normal;
- font-style: normal;
- background: transparent;
-}
-
-/***********************************************************/
-/* NAVIGATION */
-/***********************************************************/
-
-.nav_table {
- width: 100%;
- background: #c9ccc4;
- font-size: 0.83em;
- border-collapse: collapse;
- padding: 0;
- border: none;
- margin: 0;
-}
-
-.nav_table a:link, .nav_table a:visited {
- color: #1c1c1b;
- text-decoration: none;
-}
-
-.nav_table a:hover {
- color: #000;
- text-decoration: underline;
-}
-
-.nav_table tr, .nav_table a {
- padding: 0;
- margin: 0;
-}
-
-.nav_table td {
- padding: 0.25em;
- margin: 0;
-}
-
-div.header {
- background: #b1d281;
- text-align: center;
- padding: 0.5em;
- border-bottom: 1px solid #7b925a;
- margin: 0;
- height: auto;
-}
-
-div.header h1 {
- font-size: 2em;
- padding: 0.25em;
- margin: 0;
-}
-
-div.subheader {
- background: #ddd;
- padding: 0;
- margin: 0;
- text-align: center;
-}
-
-div.subheader p {
- padding: 0.5em;
- margin: 0;
-}
-
-table#navigation {
- line-height: 1.5;
- padding: 0;
- margin: 1em auto;
-}
-
-table#navigation td {
- padding: 0.5em 0.75em;
-}
-
-table#navigation ul {
- padding-left: 0.5em;
- margin: 0;
-}
-
-table .title {
- font-weight: bold;
-}
-
-.footer {
- background: #e5f5ce;
- font-size: 0.8em;
- padding: 0.2em 0;
- border: solid #b1d281;
- border-width: 0 0 5px 0;
- margin: 0;
-}
-
-.footer a:link {
- color: #0308fc;
-}
-
-.footer p {
- padding: 0 1.25em;
- margin: 0.4em 0;
-}
-
-table.menu {
- margin: 0 0 1em;
-}
-
-/***********************************************************/
-/* OVERRIDES FOR PRINTING */
-/***********************************************************/
-
-@media print {
- /* Hide the sidebar: */
- body { padding-left: 0; }
- #tocframe { display: none; }
- .nav_table { display: none; }
-}
-
-/***********************************************************/
-/* FORMATTING of AJAX SEARCH BOX */
-/***********************************************************/
-
-div#search {
- border: none;
- border-bottom: 1pt solid #C5972C;
- background: #E8E3AC;
- padding-left: 3px;
- padding-top: 2px;
- padding-bottom: 1px;
-}
-div#search p, div#search form {
- padding: 0;
- margin: 0;
-}
-#search_results {
- font-size: 0.75em;
- padding: 0;
- margin: 0;
- display: none;
-}
-#search_results table {
- width: 100%;
-}
-
-/***********************************************************/
-/* OTHER */
-/***********************************************************/
-
-.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;
-}
-
-.advanced {
- background: #eeffcc;
- text-align: left;
- padding: 0;
- border: 1px solid green;
- /* Experimental rounded corners */
- -moz-border-radius: 10px;
- -webkit-border-radius: 10px;
- margin: 0.5em 0.5em 2em 3em;
-}
-
-
-
+++ /dev/null
-/* this is Graham Percival's experimental CSS */
-
-/* Generic elements */
-
-html {
- padding: 0;
- margin: 0;
-}
-
-body {
- position: absolute;
- top: 0;
- left: 1%;
- right: 1%;
- width: 98%;
- min-width: 34em;
- 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;
-}
-
-/* Table of Contents */
-
-/* first level toc (unnumbered) */
-div#tocframe {
- position: absolute;
- top: 0;
- left: 0;
- right: 0;
- background: #9ccc7c;
- 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: #000;
-}
-
-#tocframe ul.toc {
- list-style-type: none;
- padding: 0;
- margin: 0;
-}
-
-#tocframe > ul:first-child > li:first-child a {
- text-indent: -999em;
- background: #9ccc7c url(../pictures/lily-home.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: #bdee9d url(../pictures/lily-home.png) no-repeat 50% 50%;
- width: 9%;
-}
-
-#tocframe > ul:first-child > li:first-child.toc_current a {
- text-indent: -999em;
- background: #8cbc6c url(../pictures/lily-home.png) no-repeat 50% 50%;
- width: 9%;
-}
-
-#tocframe > ul:first-child > li:first-child.toc_current a:hover {
- text-indent: -999em;
- background: #acdd8c url(../pictures/lily-home.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: #9ccc7c;
- font-size: 100%;
- padding: 0.5em 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 a {
- float: left;
- width: 18%;
- text-align: center;
- font-weight: bold;
- padding: 0.85em 0;
- margin: 0;
- background: #9ccc7c;
-}
-
-#tocframe li a:hover {
- background: #bdee9d;
- text-decoration: none;
-}
-
-#tocframe li.toc_current a,
-#tocframe li.toc_current a:hover {
- background: #8cbc6c;
- text-decoration: none;
-}
-
-/* second level toc (unnumberedsec) */
-
-#tocframe .toc .toc {
- position: absolute;
- top: 3.8em;
- left: 1%;
- right: 1%;
- 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;
- text-decoration: none;
- text-indent: 0;
- font-weight: normal;
- padding: 0 0.5em;
- margin: 0;
-}
-
-
-#tocframe .toc .toc li.toc_current a {
- background: #8cbc6c;
-}
-
-#tocframe .toc .toc li.toc_current a:hover {
- background: #acdd8c;
-}
-
-#tocframe .toc .toc li a:hover {
- background: #bdee9d;
-}
-
-/* colored second-level TOC items */
-#tocframe .toc .toc li.color1 a {
- text-decoration: none;
- background: #9ccc7c;
-}
-
-#tocframe .toc .toc li.color2 a {
- text-decoration: none;
- background: #bbcf81;
-}
-
-#tocframe .toc .toc li.color3 a {
- text-decoration: none;
- background: #dbd286;
-}
-
-#tocframe .toc .toc li.color4 a {
- text-decoration: none;
- background: #fad58c;
-}
-
-/* having this useless style makes the perl init file easier */
-#tocframe .toc .toc li.colorDefault a {
-}
-
-#tocframe .toc .toc li.color1 a:hover {
- background: #addd8d;
-}
-
-#tocframe .toc .toc li.color2 a:hover {
- background: #ccdf92;
-}
-
-#tocframe .toc .toc li.color3 a:hover {
- background: #ece297;
-}
-
-#tocframe .toc .toc li.color4 a:hover {
- background: #fbe69d;
-}
-
-#tocframe .toc .toc li.color1.toc_current a {
- background: #beee9e;
-}
-
-#tocframe .toc .toc li.color1.toc_current a:hover {
- background: #beee9e;
-}
-
-#tocframe .toc .toc li.color2.toc_current a {
- background: #ddefa3;
-}
-
-#tocframe .toc .toc li.color2.toc_current a:hover {
- background: #ddefa3;
-}
-
-#tocframe .toc .toc li.color3.toc_current a {
- background: #fdf4a8;
-}
-
-#tocframe .toc .toc li.color3.toc_current a:hover {
- background: #fdf4a8;
-}
-
-#tocframe .toc .toc li.color4.toc_current a {
- background: #fcf7ae;
-}
-
-#tocframe .toc .toc li.color4.toc_current a:hover {
- background: #fcf7ae;
-}
-
-/* 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: 6.0em;
- 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
- */
- overflow: auto;
-}
-
-/* FIXME: does not work in IE<=6 */
-#main > a:first-child {
- position: absolute;
- top: -10em;
-}
-
-div#pageHeader {
- width: 100%;
- height: 10em;
- border: solid #ddd;
- border-width: 0;
- margin: 0 0 1.4em 0;
-}
-
-#pageHeader .heading {
- top: 3em;
- font-size: 4em;
- text-align: left;
- padding: 0;
- margin: 0 0 0 215px;
-}
-
-#pageHeader p {
- text-align: left;
- padding: 0;
- margin: 0 0 0 215px;
-}
-
-div#lilylogo {
- position: absolute;
- top: 0;
- right: 4em;
-}
-
-div#cmws {
- position: absolute;
- top: 0;
- left: 50%;
-}
-
-div#quickSummary {
-/*
- text-align: left;
- margin: 1.4em 13em 0 0;
- padding-top: 5em;
-*/
- text-align: left;
- position: absolute;
- top: 11em;
- right: 0;
- width: 16em;
- border-left: 1px solid #5b7f64;
- background: #eef;
-}
-
-#quickSummary .subheading {
-/*
- padding: 0 0.5em;
- border-bottom: 10px solid #5b7f64;
- margin: 0;
-*/
- background: #5b7f64;
- color: #fff;
- text-align: center;
- padding: 0 0.5em;
- margin: 0;
-}
-
-#quickSummary p {
- padding: 0.5em;
- margin: 0;
-}
-
-div#news {
- padding: 0;
- margin: 0 16em 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: 32em;
- 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;
-}
-
-#latestVersion .subsubheading {
- background: #bdee9d;
- padding: 0.18em 0.25em;
- border-bottom: 1px solid #5b7f64;
- margin: 0;
-}
-
-#latestVersion p {
- font-size: 90%;
- padding: 0.5em;
- margin: 0;
-}
-
-div#footer {
- clear: both;
- position: relative;
- width: 100%;
- /* FIXME: may need to be adjusted */
- margin-top: 7em;
-}
-
-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;
-}
-
-#verifier_texinfo {
- position: absolute;
- top: 0;
- right: 0;
- left: 50%;
-}
-
-#verifier_texinfo h3 {
- text-indent: -9999em;
- padding: 0;
- border-bottom: 10px solid #5b7f64;
- margin: 0 0 0.25em 0;
-}
-
-#verifier_texinfo img {
- float: right;
- padding: 0;
- margin: 0 0.5em 0 0;
-}
-
-#verifier_texinfo p {
- clear: right;
- text-align: right;
- font-size: 0.8em;
- padding: 0;
- margin: 0 0.5em;
-}
-
-h1.unnumbered, h2.unnumberedsec, h3.unnumberedsubsec {
- position: relative;
- height: 0;
- overflow: hidden;
- text-indent: -999em;
- padding: 0;
- margin: 0;
-}
-
-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: center;
- border: 1px solid #8bbb6b;
- margin: 1em auto;
-}
-
-/* color1 */
-.column-center-top h3 {
- background: #9ccc7c;
- text-align: left;
- border-bottom: 1px solid #8bbb6b;
-}
-
-.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 #aabe70;
-}
-
-/* color2 */
-.column-left-top h3,
-.column-left-bottom h3 {
- background: #bbcf81;
- border-bottom: 1px solid #aabe70;
-}
-
-.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 #cac175;
-}
-
-/* color3 */
-.column-right-top h3,
-.column-right-bottom h3 {
- background: #dbd286;
- border-bottom: 1px solid #cac175;
-}
-
-.column-center-bottom {
- clear: both;
- width: 99.5%;
- text-align: center;
- border: 1px solid #e9c47b;
- margin: 1em auto 0;
-}
-
-/* color4 */
-.column-center-bottom h3 {
- background: #fad58c;
- text-align: left;
- border-bottom: 1px solid #e9c47b;
-}
-
-.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 {
- 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 {
- 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 #8bbb6b;
- margin: 1em auto;
-}
-
-div.color1 h3 {
- background: #9ccc7c;
- border-bottom: 1px solid #8bbb6b;
-}
-
-div.color2 {
- border: 1px solid #aabe70;
-}
-
-div.color2 h3 {
- background: #bbcf81;
- border-bottom: 1px solid #aabe70;
-}
-
-div.color3 {
- border: 1px solid #cac175;
-}
-
-div.color3 h3 {
- background: #dbd286;
- border-bottom: 1px solid #cac175;
-}
-
-div.color4 {
- border: 1px solid #e9c47b;
-}
-
-div.color4 h3 {
- background: #fad58c;
- border-bottom: 1px solid #e9c47b;
-}
-
-.keep-bullets ul {
- list-style-type: disc;
- padding: 0;
- margin: 0.5em 1.5em;
-}
-
-.keep-bullets li {
- padding: 0;
-}
-
-.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;
-}
-
-.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;
-}
-
-
-/* kill title, probably best done in the init file, though */
-h1.settitle {
- position: relative;
- height: 0;
- overflow: hidden;
- text-indent: -999em;
- padding: 0;
- margin: 0;
-}
-
+++ /dev/null
-/* this is Patrick Schmidt's experimental CSS */
-
-/* Generic elements */
-
-html {
- padding: 0;
- margin: 0;
-}
-
-body {
- position: absolute;
- top: 0;
- left: 1%;
- right: 1%;
- width: 98%;
- min-width: 34em;
- 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;
-}
-
-/* Table of Contents */
-
-/* first level toc (unnumbered) */
-div#tocframe {
- position: absolute;
- top: 0;
- left: 0;
- right: 0;
- background: #582007 url(../pictures/nav-bg.png)top left repeat-x;
- 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;
- /*border:1px solid black;
- background-color: silver;*/
-}
-
-#tocframe a {
- color: #000;
-}
-
-#tocframe ul.toc {
- list-style-type: none;
- padding: 0;
- margin: 0;
-}
-
-#tocframe > ul:first-child > li:first-child a {
- text-indent: -999em;
- background: #582007 url(../pictures/nav-bg.png) top left repeat-x transparent url(../pictures/lily-home.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: #58210c url(../pictures/nav-hover.png) /*url(../pictures/lily-home.png) no-repeat 50% 50%*/;
- width: 9%;
-}
-
-#tocframe > ul:first-child > li:first-child.toc_current a {
- text-indent: -999em;
- background: #FFEBCC url(../pictures/nav-active.png) /*url(../pictures/lily-home.png) no-repeat 50% 50%*/;
- width: 9%;
-}
-
-#tocframe > ul:first-child > li:first-child.toc_current a:hover {
- text-indent: -999em;
- background: #58210c url(../pictures/nav-active.png) top left repeat-x /*transparent url(../pictures/lily-home.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: #CF9B5F url(../pictures/nav-bg.png);
- font-size: 100%;
- padding: 0.5em 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 a {
- float: left;
- width: 18%;
- text-align: center;
- font-weight: bold;
- padding: 0.85em 0;
- margin: 0;
- background: #CF9B5F url(../pictures/nav-bg.png);
-}
-
-#tocframe li a:hover {
- background: #58210c url(../pictures/nav-hover.png);
- text-decoration: underline;
-}
-
-#tocframe li.toc_current a,
-#tocframe li.toc_current a:hover {
- background: #58210c url(../pictures/nav-active.png);
- color:#000;
- text-decoration: underline;
-}
-
-/* second level toc (unnumberedsec) */
-
-#tocframe .toc .toc {
- position: absolute;
- top: 3.8em;
- left: 1%;
- right: 1%;
- 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;
- text-decoration: none;
- text-indent: 0;
- font-weight: normal;
- padding: 0 0.5em;
- margin: 0;
-}
-
-
-#tocframe .toc .toc li.toc_current a {
- background: #8cbc6c;
-}
-
-#tocframe .toc .toc li.toc_current a:hover {
- background: #acdd8c;
-}
-
-#tocframe .toc .toc li a:hover {
- background: #bdee9d;
-}
-
-/* colored second-level TOC items */
-#tocframe .toc .toc li.color1 a {
- text-decoration: none;
- background: #9ccc7c;
-}
-
-#tocframe .toc .toc li.color2 a {
- text-decoration: none;
- background: #bbcf81;
-}
-
-#tocframe .toc .toc li.color3 a {
- text-decoration: none;
- background: #dbd286;
-}
-
-#tocframe .toc .toc li.color4 a {
- text-decoration: none;
- background: #fad58c;
-}
-
-/* having this useless style makes the perl init file easier */
-#tocframe .toc .toc li.colorDefault a {
-}
-
-#tocframe .toc .toc li.color1 a:hover {
- background: #addd8d;
-}
-
-#tocframe .toc .toc li.color2 a:hover {
- background: #ccdf92;
-}
-
-#tocframe .toc .toc li.color3 a:hover {
- background: #ece297;
-}
-
-#tocframe .toc .toc li.color4 a:hover {
- background: #fbe69d;
-}
-
-#tocframe .toc .toc li.color1.toc_current a {
- background: #beee9e;
-}
-
-#tocframe .toc .toc li.color1.toc_current a:hover {
- background: #beee9e;
-}
-
-#tocframe .toc .toc li.color2.toc_current a {
- background: #ddefa3;
-}
-
-#tocframe .toc .toc li.color2.toc_current a:hover {
- background: #ddefa3;
-}
-
-#tocframe .toc .toc li.color3.toc_current a {
- background: #fdf4a8;
-}
-
-#tocframe .toc .toc li.color3.toc_current a:hover {
- background: #fdf4a8;
-}
-
-#tocframe .toc .toc li.color4.toc_current a {
- background: #fcf7ae;
-}
-
-#tocframe .toc .toc li.color4.toc_current a:hover {
- background: #fcf7ae;
-}
-
-/* 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
- */
- overflow: auto;
-}
-
-/* FIXME: does not work in IE<=6 */
-#main > a:first-child {
- position: absolute;
- top: -10em;
-}
-
-div#pageHeader {
- width: 100%;
- height: 10em;
- 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 215px;
-}
-
-#pageHeader p {
- text-align: left;
- padding: 0;
- margin: 0 0 0 215px;
-}
-
-div#lilylogo {
- position: absolute;
- top: 0;
- left: 0;
-}
-
-div#cmws {
- position: absolute;
- top: 0;
- left: 50%;
-}
-
-div#quickSummary {
- text-align: left;
- margin: 1.4em 13em 0 0;
- padding-top: 5em;
-}
-
-#quickSummary .subheading {
- padding: 0 0.5em;
- border-bottom: 10px solid #5b7f64;
- margin: 0;
-}
-
-#quickSummary p {
- padding: 0.5em;
- margin: 0;
-}
-
-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: 9.5em;
- 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;
-}
-
-#latestVersion .subsubheading {
- background: #bdee9d;
- padding: 0.18em 0.25em;
- border-bottom: 1px solid #5b7f64;
- margin: 0;
-}
-
-#latestVersion p {
- font-size: 90%;
- padding: 0.5em;
- margin: 0;
-}
-
-div#footer {
- clear: both;
- position: relative;
- width: 100%;
- /* FIXME: may need to be adjusted */
- margin-top: 7em;
-}
-
-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;
-}
-
-#verifier_texinfo {
- position: absolute;
- top: 0;
- right: 0;
- left: 50%;
-}
-
-#verifier_texinfo h3 {
- text-indent: -9999em;
- padding: 0;
- border-bottom: 10px solid #5b7f64;
- margin: 0 0 0.25em 0;
-}
-
-#verifier_texinfo img {
- float: right;
- padding: 0;
- margin: 0 0.5em 0 0;
-}
-
-#verifier_texinfo p {
- clear: right;
- text-align: right;
- font-size: 0.8em;
- padding: 0;
- margin: 0 0.5em;
-}
-
-h1.unnumbered, h2.unnumberedsec, h3.unnumberedsubsec {
- position: relative;
- height: 0;
- overflow: hidden;
- text-indent: -999em;
- padding: 0;
- margin: 0;
-}
-
-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: center;
- border: 1px solid #8bbb6b;
- margin: 1em auto;
-}
-
-/* color1 */
-.column-center-top h3 {
- background: #9ccc7c;
- text-align: left;
- border-bottom: 1px solid #8bbb6b;
-}
-
-.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 #aabe70;
-}
-
-/* color2 */
-.column-left-top h3,
-.column-left-bottom h3 {
- background: #bbcf81;
- border-bottom: 1px solid #aabe70;
-}
-
-.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 #cac175;
-}
-
-/* color3 */
-.column-right-top h3,
-.column-right-bottom h3 {
- background: #dbd286;
- border-bottom: 1px solid #cac175;
-}
-
-.column-center-bottom {
- clear: both;
- width: 99.5%;
- text-align: center;
- border: 1px solid #e9c47b;
- margin: 1em auto 0;
-}
-
-/* color4 */
-.column-center-bottom h3 {
- background: #fad58c;
- text-align: left;
- border-bottom: 1px solid #e9c47b;
-}
-
-.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 {
- 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 {
- 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 #8bbb6b;
- margin: 1em auto;
-}
-
-div.color1 h3 {
- background: #9ccc7c;
- border-bottom: 1px solid #8bbb6b;
-}
-
-div.color2 {
- border: 1px solid #aabe70;
-}
-
-div.color2 h3 {
- background: #bbcf81;
- border-bottom: 1px solid #aabe70;
-}
-
-div.color3 {
- border: 1px solid #cac175;
-}
-
-div.color3 h3 {
- background: #dbd286;
- border-bottom: 1px solid #cac175;
-}
-
-div.color4 {
- border: 1px solid #e9c47b;
-}
-
-div.color4 h3 {
- background: #fad58c;
- border-bottom: 1px solid #e9c47b;
-}
-
-.keep-bullets ul {
- list-style-type: disc;
- padding: 0;
- margin: 0.5em 1.5em;
-}
-
-.keep-bullets li {
- padding: 0;
-}
-
-.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;
-}
-
-.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;
-}
-
-
-/* kill title, probably best done in the init file, though */
-h1.settitle {
- position: relative;
- height: 0;
- overflow: hidden;
- text-indent: -999em;
- padding: 0;
- margin: 0;
-}
-
+++ /dev/null
-/* 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;
-}
--- /dev/null
+/* 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;
+}
+++ /dev/null
-/***********************************************************/
-/* PAGE-WIDE SETTINGS */
-/**********************************************************/
-
-html {
- height:100%;
-}
-
-body {
- margin: 0;
- padding: 0;
- height: 100%;
- font-size: 100%;
- margin-right: auto;
- margin-left: auto;
- color: black;
- background-color: white;
-}
-
-/***********************************************************/
-/* HEADERS */
-/***********************************************************/
-h4, h3, h2, .unnumberedsubsubsec, .subsubheading {
- color: #151959;
-}
-
-h2 {
- font-size: x-large;
-}
-.unnumberedsubsubsec, .subsubheading {
- font-size: large;
-}
-
-/***********************************************************/
-/* LINKS */
-/***********************************************************/
-a:link, a:visited, a:hover, a:active {color:#2E5479; text-decoration: none;}
-a:hover {text-decoration: underline;}
-a:active {color:#CCCCFF;}
-
-/***********************************************************/
-/* BLOCK FORMATTING */
-/***********************************************************/
-blockquote {
- border: 1px solid #CCCCCC;
- padding: 3px;
- width: 40em;
-}
-.verbatim, .example, .smallexample {
- font-family: "Courier New",Courier,monospace;
-}
-hr {
- border: none;
- height: 1px;
- color: #666666;
- background-color: #666666;
-}
-table.cartouche {
- border: 2px dotted #CCCCCC;
- margin-left: auto;
- margin-right: auto;
- width: 85%;
-}
-table.cartouche td {
- border: none;
-}
-
-/***********************************************************/
-/* MAIN CONTENT */
-/***********************************************************/
-
-div#main {
- position: absolute;
- top: 0;
- right: 0;
- bottom: 0;
- left: 27%;
- padding: 0 1em;
- margin: 0;
- overflow: auto;
-}
-
-#languages {
- padding-bottom: 1em;
-}
-
-/***********************************************************/
-/* TOC SIDEBAR */
-/***********************************************************/
-
-div#tocframe {
- position: absolute;
- top: 0;
- right: 73%;
- bottom: 0;
- left: 0;
- padding: 5px;
- padding-bottom: 0;
- margin: 0;
- overflow: auto;
- background-color: #E7EFE3;
- z-index:100;
- list-style-type: none;
-}
-
-@media screen {
- body>div#tocframe {
- position: fixed
- }
- }
-
-#tocframe .contents {
- width: 100%;
- padding-bottom: 0.25em;
- border: none;
- margin: 0em;
- background-color: transparent;
- list-style-type: none;
-}
-
-#tocframe a, #tocframe a:visited, #tocframe a:active {
- color: #1B3313;
- text-decoration: none;
-}
-
-#tocframe a:hover {
- color: #2E5479;
- text-decoration:underline;
-}
-
-#tocframe ul.toc {
- padding-left: 0px;
- margin-left: 0px;
-}
-#tocframe ul.toc li {
- padding-left: 0px;
- margin-left: 0px;
- list-style-type: none;
-}
-#tocframe ul.toc > li {
- font-size: 12px;
-}
-#tocframe ul.toc li li {
- padding-left: 15px;
-}
-li.toc_current {
- font-weight: bold;
- font-style: italic;
-}
-
-li.toc_current ul {
- font-weight: normal;
- font-style: normal;
- background: transparent;
-}
-
-
-
-
-/***********************************************************/
-/* NAVIGATION */
-/***********************************************************/
-
-div.header {
- background-color: #E7EFE3;
- padding: 2px;
- border: #CCD3CC 1px solid;
- text-align: center;
-}
-
-h1.header {
- font-weight: bold;
- font-family: avantgarde, sans-serif;
- font-size: 220%;
-}
-
-div.subheader {
- text-align: center;
-}
-
-#navigation {
- margin: 0 auto;
-}
-
-.nav_table {
- width: 100%;
- background-color: #CCD3CC;
- border: 0;
- margin-top: 4px;
- left: auto;
- right: auto;
- font-size: 0.8em;
-}
-
-.title {
- font-weight: bold;
-}
-
-.footer {
- background-color: #E7EFE3;
- padding: 5px;
- border: #CCD3CC 1px solid;
- font-size: 80%;
-}
-
-
-
-/***********************************************************/
-/* OVERRIDES FOR PRINTING */
-/***********************************************************/
-@media print {
- /* Hide the sidebar: */
- body { padding-left: 0; }
- #tocframe { display: none; }
- .nav_table { display: none; }
-}
### -) All @unnumbered* sections are placed into the same file
### (implemented by split_at_numbered_sections)
### -) Use our custom CSS file, with IE-specific fixes in another CSS file,
-### impelmented by lilypond_css_lines
+### implemented by lilypond_css_lines
### -) TOC (folded, with the current page highlighted) in an overflown <div>
### is added to every page; implemented by:
### lilypond_print_element_header -- building of the TOC
$Texi2HTML::Config::DOCTYPE = '<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">';
@Texi2HTML::Config::CSS_REFS = (
- {FILENAME => "lilypond-mccarty.css", TITLE => "Default style"}
+ {FILENAME => "lilypond-manuals.css", TITLE => "Default style"}
);
@Texi2HTML::Config::ALT_CSS_REFS = (
- {FILENAME => "lilypond.css", TITLE => "Andrew Hawryluk's design" },
- {FILENAME => "lilypond-blue.css", TITLE => "Kurt Kroon's blue design" },
-);
+ );
sub web_settings() {
print STDERR "Initializing settings for web site: [$Texi2HTML::THISDOC{current_lang}]\n";
$Texi2HTML::Config::BODYTEXT = "";
@Texi2HTML::Config::CSS_REFS = (
- {FILENAME => "lilypond-web.css", TITLE => "Patrick McCarty's design"}
+ {FILENAME => "lilypond-website.css", TITLE => "Default style"}
);
@Texi2HTML::Config::ALT_CSS_REFS = (
- {FILENAME => "lilypond-web-alt1.css", TITLE => "Alternate style 1"},
- {FILENAME => "lilypond-web-alt2.css", TITLE => "Alternate style 2"},
);
}
projects / lilypond.git / commitdiff