Web: make "other languages" in left footer.

diff --git a/Documentation/css/lilypond-web.css b/Documentation/css/lilypond-web.css
index 25d90befd13f8fba15e74287f445889f574f8d50..a04e628821b7f9f377747b5ff10ec5ebd5d53777 100644 (file)
--- a/Documentation/css/lilypond-web.css
+++ b/Documentation/css/lilypond-web.css
@@ -512,10 +512,7 @@ a[name="Unstable"] + h4 {
 
 div#footer {
   clear: both;
-  position: relative;
   width: 100%;
-  /* FIXME: may need to be adjusted */
-  margin-top: 7em;
 }
 
 div#language {
@@ -539,12 +536,30 @@ div#language {
   margin: 0.25em 0 0 0;
 }
 
+/* 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;
+  text-align: left;
+}
+
 #verifier_texinfo {
+/*
   position: relative;
   bottom: 0;
   right: 0;
   left: 50%;
-  width: 50%;
+*/
+  float: right;
+  width: 48%;
 }
 
 #verifier_texinfo h3 {

diff --git a/scripts/build/website_post.py b/scripts/build/website_post.py
index a1d2215f29d95d5ad07597487e9066d9b421e87d..f27b5786f63ba56dd523e9259e26ed99bf48223b 100644 (file)
--- a/scripts/build/website_post.py
+++ b/scripts/build/website_post.py
@@ -178,8 +178,11 @@ for file in html_files:
                langlink = addLangExt(link[:-4], lang, "pdf")
                 line = line.replace(link, langlink)
         ### add language selection footer
-        if (line.find("<!-- FOOTER -->") >= 0):
+        if (line.find("<div id=\"verifier_texinfo\">") >= 0):
+            outfile.write("<div id=\"footer\">\n")
             outfile.write( lang_footer )
+        if (line.find("</body") >= 0):
+            outfile.write("</div>\n")
         outfile.write(line)
     outfile.close()