right: 0.5%;
width: 99%;
min-width: 42em;
- max-width: 60em;
+ max-width: 70em;
font-size: 95%;
line-height: 1.5;
background: #fff url(../pictures/background-image.png) no-repeat 0 0;
left: 0;
right: 0;
background: #6aec7c url(../pictures/nav-bg.png) repeat-x top left;
- max-width: 60em;
+ max-width: 70em;
font-size: 100%;
line-height: 1;
padding: 0;
#tocframe li a:hover {
background: url(../pictures/nav-hover.png);
- text-decoration: underline;
}
#tocframe li.toc_current a,
margin: 0;
}
-#tocframe .toc .toc li.toc_current a,
-#tocframe .toc .toc li.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 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;
- text-decoration: none;
}
#tocframe .toc .toc li.color2 a {
background: #bbcf81 url(../pictures/color2-bg.png) repeat-x top left;
- text-decoration: none;
}
#tocframe .toc .toc li.color3 a {
background: #dbd286 url(../pictures/color3-bg.png) repeat-x top left;
- text-decoration: none;
}
#tocframe .toc .toc li.color4 a {
background: #fad58c url(../pictures/color4-bg.png) repeat-x top left;
- text-decoration: none;
}
-/* having this useless style makes the perl init file easier */
-#tocframe .toc .toc li.colorDefault a,
+#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;
}
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;
left: 0;
right: 0;
width: 100%;
- max-width: 60em;
+ max-width: 70em;
margin: 0 auto 11.7em;
/* Necessary to stretch over floated content;
* will cause scrollbars to appear for content
div#footer {
clear: both;
- position: relative;
width: 100%;
- /* FIXME: may need to be adjusted */
- margin-top: 7em;
+ border-top: 10px solid #5b7f64;
}
div#language {
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 {
- position: relative;
- bottom: 0;
- right: 0;
- left: 50%;
- width: 50%;
+ font-size: 0.8em;
+ float: right;
+ width: 48%;
+ padding: 0.5em;
}
#verifier_texinfo h3 {
+ position: relative;
+ height: 0;
text-indent: -9999em;
padding: 0;
- border-bottom: 10px solid #5b7f64;
- margin: 0 0 0.25em 0;
+ margin: 0;
}
#verifier_texinfo img {
-/*
- float: right;
-*/
+ vertical-align: middle;
padding: 0;
- margin: 0 0.5em 0 0;
+ margin: 0 0 0 0.5em;
}
#verifier_texinfo p {
clear: right;
text-align: right;
- font-size: 0.8em;
padding: 0;
- margin: 0 0.5em;
+ margin: 0;
}
h1.unnumbered, h2.unnumberedsec, h3.unnumberedsubsec {
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;
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;
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 {