summaryrefslogtreecommitdiffstats
path: root/web/input/resources/plugins.css
diff options
context:
space:
mode:
authorHolger Weiss <holger@zedat.fu-berlin.de>2013-10-14 22:56:26 (GMT)
committerHolger Weiss <holger@zedat.fu-berlin.de>2013-10-14 22:56:26 (GMT)
commitcb3e930d3f5ce6fac0b2176fcdc3211e034927e8 (patch)
treef0c3043cee08180b8292ed6169e7b8405d7dcace /web/input/resources/plugins.css
parent9197d10655450fbcc42e7c68f98d32561220b824 (diff)
downloadsite-cb3e930d3f5ce6fac0b2176fcdc3211e034927e8.tar.gz
Use smaller RSS and Twitter icons
... and make sure the images are positioned properly.
Diffstat (limited to 'web/input/resources/plugins.css')
-rw-r--r--web/input/resources/plugins.css12
1 files changed, 5 insertions, 7 deletions
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 {
48 48
49div#feed-area { 49div#feed-area {
50 float: right; 50 float: right;
51 margin: 150px 16px; 51 margin: 150px 40px 1ex 1em;
52 color: #696969; 52 color: #696969;
53 text-align: center; 53 text-align: center;
54 font-size: small; 54 font-size: small;
@@ -58,18 +58,16 @@ div#feed-area {
58} 58}
59 59
60div#feed-buttons { 60div#feed-buttons {
61 margin-top: 8px; 61 margin-top: 1ex;
62 padding: 16px; 62 padding: 5px;
63 background-color: #e6e6e6; 63 background-color: #e6e6e6;
64 border-style: none; 64 border-style: none;
65 border-radius: 1em; 65 border-radius: 1em;
66} 66}
67 67
68div#feed-buttons a {
69 margin: auto 8px;
70}
71
72div#feed-buttons a img { 68div#feed-buttons a img {
69 margin: 5px;
70 vertical-align: middle;
73 border-style: none; 71 border-style: none;
74} 72}
75 73