summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-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