padding-bottom: 6px;
}
-div.tabs ul li a:hover, div.tabs ul li.current a {
+div.tabs ul li a:hover, div.tabs ul li.current a, div.tabs ul.glossary li a:hover {
color: #726921;
text-decoration: none;
background-color: #EDE497;
font-size: 90%;
}
+div.tabs ul.glossary li a {
+ background-color: #FDF7C3;
+}
+
+div.tabs ul.glossary li.glossary a {
+ background-color: #EDE497;
+}
+
#footer {
clear: both;
padding: 4px 10px 4px 142px;
text-indent: -4em;
}
+#autotoc h1 {
+ font-size: 120%;
+ text-align: left;
+}
+
+#autotoc ul {
+ list-style-type: none;
+ padding: 0;
+ margin: 1em 0 1em 2em;
+}
+
+#autotoc ul li.level_h2 {
+ margin: .5em 0 .2em 0;
+}
+
+#autotoc ul li.level_h3 {
+ margin-left: 1.5em;
+}
+
+#autotoc ul li.level_h4 {
+ margin-left: 3em;
+}
+
/* \f
* Local Variables:
* indent-tabs-mode: nil