[gnuastro-commits] master 223b48f: Links and CSS updates on book HTML

[Mohammad Akhlaghi]

branch: master
commit 223b48f0f6066d4d863c6cec6cf030c1b6d96493
Author: Mohammad Akhlaghi <address@hidden>
Commit: Mohammad Akhlaghi <address@hidden>

    Links and CSS updates on book HTML
    
    The `<meta name="viewport" ...>' tag was no included in the HTMLs so it
    would not display nicely on smaller screens (smartphones). `doc/forwebpage'
    now adds this line to each HTML.
    
    Also the links to the bottom of the page are not relative any more, they
    point to the main gnu.org server's version. The reason is this: With
    relative addresses, the browser would keep the slashes in the address, so
    we would end up with many slashes in the HTML names of pages afterwards and
    MathJax wouldn't work, since we used relative addresses for it.
    
    In the CSS, the page's margin was set to zero and the font size of the
    menues were made larger.
---
 doc/forwebpage |    7 ++++---
 doc/style.css  |   13 +++++++++++--
 2 files changed, 15 insertions(+), 5 deletions(-)

diff --git a/doc/forwebpage b/doc/forwebpage
index 0effa50..a03bec1 100755
--- a/doc/forwebpage
+++ b/doc/forwebpage
@@ -257,6 +257,7 @@ do
                 cssbase="../"
                 jsbase="../../"
             fi
+            echo "<meta name=\"viewport\" content=\"width=device-width, 
initial-scale=1\">" >> tmp.html
             echo "<link rel=\"stylesheet\" type=\"text/css\" 
href=\""$cssbase"fonts.css\">" >> tmp.html
             echo "<link rel=\"stylesheet\" type=\"text/css\" 
href=\""$cssbase"style.css\">" >> tmp.html
             if [ $hasjavascript = "yes" ]; then
@@ -287,15 +288,15 @@ do
             fi
 
             # Add "Read in other formats":
-            echo "<p class=\"bottom-links\"><a 
href=\"$cssbase/index.html\">Read in other formats</a>.</p>" >> tmp.html
+            echo "<p class=\"bottom-links\"><a 
href=\"https://www.gnu.org/software/gnuastro/manual/index.html\";>Read in other 
formats</a>.</p>" >> tmp.html
 
             # If there is any Javascript in the page, then let the users know.
             if [ $hasjavascript = "yes" ]; then
-                echo "<p class=\"bottom-links\"><a 
href=\"$cssbase/javascript.html\" rel=\"jslicense\">JavaScript license 
information</a></p>" >> tmp.html
+                echo "<p class=\"bottom-links\"><a 
href=\"https://www.gnu.org/software/gnuastro/manual/javascript.html\"; 
rel=\"jslicense\">JavaScript license information</a></p>" >> tmp.html
             fi
 
             # Put a link to the main Gnuastro webpage.
-            echo "<p class=\"bottom-links\"><a href=\"$jsbase/index.html\">GNU 
Astronomy Utilities</a> $version manual, $thismonth.</p>" >> tmp.html
+            echo "<p class=\"bottom-links\"><a 
href=\"https://www.gnu.org/software/gnuastro/index.html\";>GNU Astronomy 
Utilities</a> $version manual, $thismonth.</p>" >> tmp.html
 
         fi
 
diff --git a/doc/style.css b/doc/style.css
index 72d2841..18fab55 100644
--- a/doc/style.css
+++ b/doc/style.css
@@ -86,10 +86,10 @@ section{
 /* In a narrow screen it is much easier to read fonts that are
    slightly larger than the standard size. */
 body{
+    margin: 0;
     font-size: 110%;           /* Default browser size.           */
     font-weight: 100;          /* Thin fonts for all pages.       */
-    padding-left: 0.5em;
-    padding-right: 0.5em;
+    padding: 0 0.5em 0 0.5em;
     font-family: open_sanslight, sans-serif;
 }
 
@@ -238,6 +238,15 @@ table.cartouche {
 
 
 
+/* Menu tables */
+table.menu {
+    font-size: 95%;
+}
+
+
+
+
+
 /* Links
 
    The links are distinguished from the main text by being a brigher