background: #fad58c url(../pictures/color4-bg.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 a {
+ background: #8cbc6c url(../pictures/nav-bg-2.png) repeat-x top left;
+ color: #fff;
}
-/* having this useless style makes the perl init file easier */
-#tocframe .toc .toc li.colorDefault a,
#tocframe .toc .toc li.colorDefault a:hover {
- background: #8cbc6c url(../pictures/nav-active-2.png) repeat-x top left;
+ background: #8cbc6c url(../pictures/nav-hover-2.png) repeat-x top left;
color: #fff;
- text-decoration: underline;
}
#tocframe .toc .toc li.color1 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;
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 {
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 {