diff options
| -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 | ||
