diff options
author | Holger Weiss <holger@zedat.fu-berlin.de> | 2013-10-27 19:10:48 (GMT) |
---|---|---|
committer | Holger Weiss <holger@zedat.fu-berlin.de> | 2013-10-27 19:10:48 (GMT) |
commit | 104ca95ac0a753e327c61d1b420fcb08bf106d31 (patch) | |
tree | 2b7db4ad1b4fd4642650f20f08971a6ce75f43b2 /web/input/resources | |
parent | 7357348d8a8a5a9aa1b8405b7eb3a37f56160b54 (diff) | |
download | site-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.css | 6 |
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 | ||
52 | div#menu { | 52 | div#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 | ||
58 | div#menu span { | 58 | div#menu span { |
59 | padding: 0.6em; | 59 | padding: 0.625em; |
60 | } | 60 | } |
61 | 61 | ||
62 | div#menu span#current { | 62 | div#menu span#current { |
@@ -88,7 +88,7 @@ div#menu div#feed-buttons { | |||
88 | } | 88 | } |
89 | 89 | ||
90 | div#menu div#feed-buttons a img { | 90 | div#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 | ||