From 104ca95ac0a753e327c61d1b420fcb08bf106d31 Mon Sep 17 00:00:00 2001
From: Holger Weiss <holger@zedat.fu-berlin.de>
Date: Sun, 27 Oct 2013 20:10:48 +0100
Subject: Work around a Chrome glitch

When setting "padding: 0.6em" for the menu elements, certain versions of
Chrome and WebKitGTK+ render the light blue menu item a tad larger than
the rest of the menu bar.  (This only happened when the site was
accessed for the first time.  Reloading the current page or following a
link to another document on the Nagios Plugins site fixed the issue.)
Using 0.625em works around this problem.

Note that the issue is not related to using the "em" unit: It also shows
up when specifying 9.6px (and is fixed by specifying 10px).

diff --git a/web/input/resources/plugins.css b/web/input/resources/plugins.css
index 7f2b20a..e536e40 100644
--- a/web/input/resources/plugins.css
+++ b/web/input/resources/plugins.css
@@ -50,13 +50,13 @@ div#page {
 }
 
 div#menu {
-    padding: 0.6em 0;
+    padding: 0.625em 0;
     background-color: #1b476b;
     font-weight: bold;
 }
 
 div#menu span {
-    padding: 0.6em;
+    padding: 0.625em;
 }
 
 div#menu span#current {
@@ -88,7 +88,7 @@ div#menu div#feed-buttons {
 }
 
 div#menu div#feed-buttons a img {
-    margin-right: 0.6em;
+    margin-right: 0.625em;
     border-style: none;
 }
 
-- 
cgit v0.10-9-g596f