Cleanup: remove Simple_font_metric, Font_metric::text_dimension

[lilypond.git] / Documentation / css / lilypond-web.css

diff --git a/Documentation/css/lilypond-web.css b/Documentation/css/lilypond-web.css
index 4d60015e11d25ad117a5c5726430e61824c05f8f..25d90befd13f8fba15e74287f445889f574f8d50 100644 (file)
--- a/Documentation/css/lilypond-web.css
+++ b/Documentation/css/lilypond-web.css
@@ -248,18 +248,14 @@ div#tocframe {
   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 {
@@ -278,6 +274,19 @@ div#tocframe {
   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;
@@ -860,6 +869,23 @@ div.color4 h3 {
   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;
+}
+
 .warning {
   background: #eef;
   text-align: left;
@@ -898,6 +924,10 @@ div.color4 h3 {
   font-size: 0.6em;
 }
 
+.detail {
+  font-size: 0.8em;
+}
+
 
 /* kill title, probably best done in the init file, though */
 h1.settitle {