/* ================================== */
/* = Header with logo and menu = */
/* ================================== */
-#toc ol, #themes ol, #objects ol {
+#wltoc ol, #themes ol, #objects ol {
list-style: none;
padding: 0;
margin: 0;
}
-
-#toc ol li {
- font-weight: bold;
+#wltoc ol {
+ padding-left: 1.5em;
}
-#toc ol ol {
+#wltoc ol ol {
padding: 0 0 1.5em 1.5em;
margin: 0;
}
-#toc ol ol li {
+#wltoc ol ol li {
font-weight: normal;
}
-#toc h2 {
+#wltoc h2 {
display: none;
}
-#toc .anchor {
+#wltoc .anchor {
float: none;
margin: 0;
color: blue;