From 7e70dd61f46038fe68f1f6d47c0439eceb57fb7a Mon Sep 17 00:00:00 2001
From: smls <smls75@gmail.com>
Date: Fri, 20 Jun 2014 19:05:31 +0200
Subject: [PATCH] Polish the menu item spacing and separator style

---
 html/css/style.css | 18 ++++++++++--------
 1 file changed, 10 insertions(+), 8 deletions(-)

diff --git a/html/css/style.css b/html/css/style.css
index a2e6e6866..828fec03a 100644
--- a/html/css/style.css
+++ b/html/css/style.css
@@ -172,20 +172,20 @@ td p {
     margin-left: auto;
     margin-bottom: -0.1em;
     width: 100%;
-    line-height: 2.5em;
+    height: 2.6em;
+    line-height: 1.8em;
 }
 
 .menu-item {
     display: inline-block;
-    padding-right: 0.3em;
+    padding-right: 1.0em;
     font-size: 1.1em;
-    margin-top: 0.3em;
-    min-width: 4em;
+    margin: 0.4em 0;
 }
 
 .menu-item+.menu-item {
-    border-left: 0.15em dotted #FFFFFF;
-    padding-left: 0.45em;
+    border-left: 2px ridge rgba(192,228,114,0.6);  /* #C0E472 */
+    padding-left: 1.1em;
 }
 .menu-item.selected+.menu-item {
     border-left: none;
@@ -199,8 +199,10 @@ td p {
     border-bottom: solid inherit;
     color: black;
     text-decoration: none;
-    padding-left:  0.5em;
-    padding-right: 0.5em;
+    padding-left:  0.9em;
+    padding-right: 0.9em;
+    margin-top: 0.3em;
+    line-height: 2.1em;
 }
 
 #formalities { font-style: italic; }