diff options
Diffstat (limited to 'web/input/resources/plugins.css')
-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 | ||