New Version of alternative CSS from Kurt Kroon

diff --git a/Documentation/lilypond-blue.css b/Documentation/lilypond-blue.css
index a2e93c3c6215aef3f1acaf5ef471c96dae662dc5..1be8dfdd469adae28744ca547e0e75a2f3cd01bf 100644 (file)
--- a/Documentation/lilypond-blue.css
+++ b/Documentation/lilypond-blue.css
@@ -9,9 +9,9 @@ html {
 body {
   background-color: white;
   color: black;
-  font-size: 80%;
+  font-size: 87.5%;
   height: 100%;
-  line-height: 1.25em;
+  line-height: 1.125;
   margin: 0 auto;
   padding: 0;
 }
@@ -25,41 +25,44 @@ body {
 .appendix, .appendixsec, .appendixsubsec,
 .unnumberedsubsubsec, .subsubheading,
 .unnumbered, .subheading {
-  border-bottom: 1px dashed black;
+  border-bottom: 1px dashed #bbb;
   color: #204a87;
+  margin: 1em 0;
   padding-bottom: 0.4em;
-  margin-bottom: 1em;
-  margin-top: 1em;
 }
 
 .settitle {
   background-color: #eef;
   border-bottom: 1px solid #3465A4;
   font-size: 2em;
-  margin: 0.25em 0 0 0;
-  padding: 0.75em;
-  text-align: center;
+  margin: 0.5em 0 0 0;
+  padding: 0.5em;
 }
 
 .chapter {
   font-size: 1.8em;
+  padding: 0.5em;
 }
 
 .section {
   font-size: 1.6em;
+  padding: 0.5em;
 }
 
 .subsection {
   font-size: 1.4em;
+  padding: 0.5em;
 }
 
 .unnumberedsubsubsec {
   font-size: 1.25em;
+  padding: 0.5em;
 }
 
 .subsubheading {
   font-size: 1em;
   font-weight: bold;
+  padding: 0.5em 1em;
 }
 
 /***********************************************************/
@@ -81,7 +84,7 @@ a:hover {
 }
 
 a:active {
-  color: #73d216;
+  color: #4487D7;
 }
 
 /***********************************************************/
@@ -101,35 +104,32 @@ blockquote p {
 }
 
 blockquote blockquote {
-  border: thick red dashed;
+  border: none;
+  /* border: thick red dashed; */
 }
 
 .verbatim, .example .example, .lisp {
-  font-size: 1em;
+  font-size: 1.25em;
   margin: 0;
   padding: 1em;
 }
 
 .example {
-  padding: 0;
   margin: 0;
+  padding: 0;
 }
 
 hr {
-  height: 0;
-  padding: 0;
-  border: 0;
-  margin: 0;
-  text-indent: -999em;
+  display: none;
 }
 
 table.cartouche {
   background: #eee;
   border: 1px solid #3465a4;
-  border-width: 1px 0;
+  border-width: 0 0 0 2px;
   width: 85%;
   padding: 0 0.5em;
-  margin: 0 auto;
+  margin: 1em 0 1em 3em;
 }
 
 table.cartouche p {
@@ -150,7 +150,7 @@ div#main {
   top: 0;
   right: 0;
   bottom: 0;
-  left: 27%;
+  left: 25%;
   padding: 0;
   margin: 0;
   overflow: auto;
@@ -173,6 +173,10 @@ p {
   margin: 1em 0;
 }
 
+th {
+  text-align: left;
+}
+
 #languages {
   margin: 0;
   padding: 1em;
@@ -190,71 +194,63 @@ pre.menu-comment {
 /***********************************************************/
 
 div#tocframe {
-  position: absolute;
-  top: 0;
-  right: 73%;
-  bottom: 0;
-  left: 0;
-  padding: 0;
+  background-color: #F9FCFF;
+  font-size: 0.83em;
+  line-height: 1.4;
+  list-style-type: none;
   margin: 0;
+  padding: 0;
+  position: absolute;
+    bottom: 0;
+    left: 0;
+    right: 75%;
+    top: 0;
   overflow: auto;
-  background-color: #f9f9ff;
   z-index: 100;
-  list-style-type: none;
-  font-size: 0.83em;
-  line-height: 1.4em;
 }
 
 /* position: fixed for savvy browsers */
 
 @media screen {
   body > div#tocframe {
-    position: fixed
+    position: fixed;
   }
 }
 
-/*
-#tocframe a:link, #tocframe a:visited {
-  text-decoration: none;
-}
-
-#tocframe a:hover {
-  text-decoration: underline;
-}
-*/
-
 div#tocframe h4 {
+  background-color: #eef;
+  border: 1px solid #3465A4;
+  border-width: 0 0 1px 0;
+  color: #344;
   font-size: 1.2em;
   font-weight: normal;
-  color: #344;
-  background-color: #eef;
-  padding: 2px 0 1px 1em;
-  border-bottom: 1px solid #3465A4;
+  height: 26px;
   margin: 0;
+  padding: 8px 0 0 6px;
 }
 
 #tocframe .contents {
   background-color: transparent;
+  border: none;
   list-style-type: none;
-  padding: 0;
-  border: 0;
   margin: 0;
+  padding: 0;
 }
 
 #tocframe ul.toc {
-  padding: 1em 0.5em;
   list-style-type: none;
   margin: 0;
+  padding: 1em 0.5em;
 }
 
 #tocframe ul.toc ul.toc {
-  padding: 0;
   margin: 0;
+  padding: 0;
 }
 
 #tocframe ul.toc li {
-  padding: 0;
   margin: 0;
+  padding: 0;
 }
 
 #tocframe ul.toc > li {
@@ -266,14 +262,14 @@ div#tocframe h4 {
 }
 
 li.toc_current {
-  font-weight: bold;
   font-style: italic;
+  font-weight: bold;
 }
 
 li.toc_current ul {
-  font-weight: normal;
-  font-style: normal;
   background: transparent;
+  font-style: normal;
+  font-weight: normal;
 }
 
 
@@ -292,36 +288,29 @@ li.toc_current ul {
 }
 
 div.header {
-  background-color: #be6;
-  text-align: center;
-  padding: 0.5em;
-  margin: 0;
-  height: auto;
+  background-color: #dde;
+  margin: 0.75em 0 0 0;
 }
 
 div.header h1 {
-  padding: 0.5em;
   margin: 0;
+  padding: 0.5em 0 0.5em 1em;
 }
 
 div.subheader {
-  background-color: #ddd;
-  padding: 0;
-  border-top: 5px solid #899;
-  border-bottom: 1px solid #9aa;
+  background-color: #eef;
   margin: 0;
-  text-align: center;
 }
 
 div.subheader p {
-  padding: 0.5em;
   margin: 0;
+  padding: 1em 0 1em 2em;
 }
 
 table#navigation {
   line-height: 1.5;
+  margin: 1em 0 1em 3em;
   padding: 0;
-  margin: 1em auto;
 }
 
 table#navigation td {
@@ -329,8 +318,8 @@ table#navigation td {
 }
 
 table#navigation ul {
-  padding-left: 0.5em;
   margin-bottom: 1em;
+  padding-left: 0.5em;
 }
 
 table .title {
@@ -338,12 +327,13 @@ table .title {
 }
 
 .footer {
-  background-color: #fff;
-  border: none;
+  background-color: #eef;
+  border: 1px solid #3465A4;
+  border-width: 0 0 1px 0;
   font-size: 0.8em;
   text-indent: 1em;
   padding: 1.5em 0;
-  margin: 0;
+  margin: 1em 0 0 0;
 }
 
 .footer p {
@@ -367,4 +357,4 @@ table.menu {
   .nav_table { display: none; }
   /* Let #main expand to fill the new space */
   div#main { position: static; left: 0; }
-}
+}
\ No newline at end of file