summaryrefslogtreecommitdiffstats
path: root/web/input/resources
diff options
context:
space:
mode:
authorHolger Weiss <holger@zedat.fu-berlin.de>2013-10-27 19:10:48 (GMT)
committerHolger Weiss <holger@zedat.fu-berlin.de>2013-10-27 19:10:48 (GMT)
commit104ca95ac0a753e327c61d1b420fcb08bf106d31 (patch)
tree2b7db4ad1b4fd4642650f20f08971a6ce75f43b2 /web/input/resources
parent7357348d8a8a5a9aa1b8405b7eb3a37f56160b54 (diff)
downloadsite-104ca95ac0a753e327c61d1b420fcb08bf106d31.tar.gz
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).
Diffstat (limited to 'web/input/resources')
-rw-r--r--web/input/resources/plugins.css6
1 files changed, 3 insertions, 3 deletions
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 {
50} 50}
51 51
52div#menu { 52div#menu {
53 padding: 0.6em 0; 53 padding: 0.625em 0;
54 background-color: #1b476b; 54 background-color: #1b476b;
55 font-weight: bold; 55 font-weight: bold;
56} 56}
57 57
58div#menu span { 58div#menu span {
59 padding: 0.6em; 59 padding: 0.625em;
60} 60}
61 61
62div#menu span#current { 62div#menu span#current {
@@ -88,7 +88,7 @@ div#menu div#feed-buttons {
88} 88}
89 89
90div#menu div#feed-buttons a img { 90div#menu div#feed-buttons a img {
91 margin-right: 0.6em; 91 margin-right: 0.625em;
92 border-style: none; 92 border-style: none;
93} 93}
94 94