Merge branch 'master' of /home/jcharles/GIT/Lily/.

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

diff --git a/Documentation/css/lilypond-web.css b/Documentation/css/lilypond-web.css
index a04e628821b7f9f377747b5ff10ec5ebd5d53777..a6f6f9b669fa127dd8d6db336924d6f18a6c35fd 100644 (file)
--- a/Documentation/css/lilypond-web.css
+++ b/Documentation/css/lilypond-web.css
@@ -513,6 +513,7 @@ a[name="Unstable"] + h4 {
 div#footer {
   clear: both;
   width: 100%;
+  border-top: 10px solid #5b7f64;
 }
 
 div#language {
@@ -539,50 +540,39 @@ div#language {
 /* used on website; not certain about the above ones.
     see Issue 1105 */
 p#languages {
-/*
-  position: relative;
-  bottom: 0;
-  left: 0;
-  right: 30%;
-*/
   float: left;
   width: 45%;
-  margin: 3em 0;
+  padding: 0.7em;
+  margin: 0;
   text-align: left;
 }
 
 #verifier_texinfo {
-/*
-  position: relative;
-  bottom: 0;
-  right: 0;
-  left: 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 {
@@ -901,6 +891,18 @@ div.color4 h3 {
   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;
@@ -917,6 +919,21 @@ div.color4 h3 {
   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;
@@ -939,10 +956,17 @@ div.color4 h3 {
   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 {