From cacc05431f8b243e8cd94aba3910d8e5680dfe6d Mon Sep 17 00:00:00 2001
From: Boris Kolpackov <boris@codesynthesis.com>
Date: Sat, 30 Jan 2016 19:01:39 +0200
Subject: Fix menu bar alignment issues

---
 common.css | 14 ++++++--------
 web.css    |  2 +-
 web.xhtml  | 10 ++++++----
 3 files changed, 13 insertions(+), 13 deletions(-)

diff --git a/common.css b/common.css
index 83c8f6a..2418574 100644
--- a/common.css
+++ b/common.css
@@ -62,11 +62,9 @@ body {min-width: 17em;}
 #header-logo {text-align: left;}
 #header-menu {text-align: right;}
 
-/* These overlap with #header's padding, FSR. To make this work when -menu is
-   flexbox, we have to add this padding to its children so they don't touch
-   the browser frame. Don't you just love web development? */
-#header-logo {padding-left: .4em;}
-#header-menu a {margin-right: .45em;} /* Font size adjustment. */
+/* These overlap with #header's padding when no margin left, FSR. */
+#header-logo {padding-left: .25em;}
+#header-menu {padding-right: .25em;}
 
 #header-menu a
 {
@@ -86,7 +84,7 @@ body {min-width: 17em;}
 }
 
 /* Flexbox-based improvements though the above works reasonably well. */
-#header-menu
+#header-menu-body
 {
   width: 100%;
 
@@ -94,7 +92,7 @@ body {min-width: 17em;}
   display: inline-flex;
 
   -webkit-flex-flow: row wrap;
-  flex-flow: row wrap;  
+  flex-flow: row wrap;
 
   -webkit-justify-content: flex-end;
   justify-content: flex-end;
@@ -104,7 +102,7 @@ body {min-width: 17em;}
 /*
 @media only screen and (max-width: 567px)
 {
-  #header-menu
+  #header-menu-body
   {
     -webkit-flex-direction: column;
     flex-direction: column;
diff --git a/web.css b/web.css
index 507875e..0d2fdf3 100644
--- a/web.css
+++ b/web.css
@@ -13,7 +13,7 @@
 
 @media only screen and (max-width: 567px)
 {
-  #header-menu
+  #header-menu-body
   {
     -webkit-flex-direction: column;
     flex-direction: column;
diff --git a/web.xhtml b/web.xhtml
index a701d59..12f4dff 100644
--- a/web.xhtml
+++ b/web.xhtml
@@ -17,10 +17,12 @@
 <div id="header">
   <div id="header-logo"><code>b2</code></div>
   <div id="header-menu">
-    <a href="/">Documentation</a>
-    <a href="/">Download</a>
-    <a href="/">Mailing Lists</a>
-    <a href="/">C++ Packages</a>
+    <div id="header-menu-body">
+      <a href="/">Documentation</a>
+      <a href="/">Download</a>
+      <a href="/">Mailing Lists</a>
+      <a href="/">C++ Packages</a>
+    </div>
   </div>
 </div>
 </div>
-- 
cgit v1.1