/* 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;
  border-bottom-left-radius: 7px;
  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%;
  -moz-border-radius-bottomleft: 7px;
  -webkit-border-bottom-left-radius: 7px;
  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;
  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;
  border-top-right-radius: 20px;
  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;
  border-top-left-radius: 7px;
  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;
  border-top-right-radius: 7px;
  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 50% 50%;
  height: 36px;
  padding: 10px;
  margin: 0 13em 0 0;
}

div#news {
  padding: 0;
  margin: 0 13em 1em 0;
}

div.news-item {
  padding: 1em 0;
}

.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: 16em;
  right: 0;
  width: 12em;
  text-align: center;
  border-left: 1px solid #5b7f64;
}

div#wildCardBox {
  position: absolute;
  top: 0.0em;
  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;
}

#wildCardBox .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;
  width: 67%;
}

.normal-table table td {
  padding: 0em;
}

.normal-table table a {
}

.normal-table p {
  line-height: 0.8;
}

.example {
  position: relative;
  left: -2.5em;
  text-align: left;
}

.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;
  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;
}
