From cb3e930d3f5ce6fac0b2176fcdc3211e034927e8 Mon Sep 17 00:00:00 2001 From: Holger Weiss Date: Tue, 15 Oct 2013 00:56:26 +0200 Subject: Use smaller RSS and Twitter icons ... and make sure the images are positioned properly. --- web/input/resources/plugins.css | 12 +++++------- web/input/resources/rss.png | Bin 4310 -> 3723 bytes web/input/resources/twitter.png | Bin 3978 -> 3512 bytes 3 files changed, 5 insertions(+), 7 deletions(-) (limited to 'web/input') diff --git a/web/input/resources/plugins.css b/web/input/resources/plugins.css index abbd5d8..cf2390f 100644 --- a/web/input/resources/plugins.css +++ b/web/input/resources/plugins.css @@ -48,7 +48,7 @@ div#github-ribbon { div#feed-area { float: right; - margin: 150px 16px; + margin: 150px 40px 1ex 1em; color: #696969; text-align: center; font-size: small; @@ -58,18 +58,16 @@ div#feed-area { } div#feed-buttons { - margin-top: 8px; - padding: 16px; + margin-top: 1ex; + padding: 5px; background-color: #e6e6e6; border-style: none; border-radius: 1em; } -div#feed-buttons a { - margin: auto 8px; -} - div#feed-buttons a img { + margin: 5px; + vertical-align: middle; border-style: none; } diff --git a/web/input/resources/rss.png b/web/input/resources/rss.png index c434050..a16dea7 100644 Binary files a/web/input/resources/rss.png and b/web/input/resources/rss.png differ diff --git a/web/input/resources/twitter.png b/web/input/resources/twitter.png index 3a4bff6..aa73071 100644 Binary files a/web/input/resources/twitter.png and b/web/input/resources/twitter.png differ -- cgit v1.2.3-74-g34f1