From 3da5e955c2d98485ba88801c8328d900caa45391 Mon Sep 17 00:00:00 2001
From: Holger Weiss <holger@zedat.fu-berlin.de>
Date: Tue, 15 Oct 2013 13:31:23 +0200
Subject: Move feed icons into the menu bar

Move the RSS and Twitter buttons into the (right edge of the) menu bar.
---
 web/input/resources/plugins.css | 34 +++++++++-------------------------
 1 file changed, 9 insertions(+), 25 deletions(-)

(limited to 'web/input/resources/plugins.css')

diff --git a/web/input/resources/plugins.css b/web/input/resources/plugins.css
index 187f3df..b368d1d 100644
--- a/web/input/resources/plugins.css
+++ b/web/input/resources/plugins.css
@@ -46,31 +46,6 @@ div#github-ribbon a img {
     border-style: none;
 }
 
-div#feed-area {
-    float: right;
-    margin: 150px 40px 1ex 1em;
-    color: #696969;
-    text-align: center;
-    font-size: small;
-    font-style: italic;
-    font-weight: bold;
-    white-space: nowrap;
-}
-
-div#feed-buttons {
-    margin-top: 1ex;
-    padding: 5px;
-    background-color: #e6e6e6;
-    border-style: none;
-    border-radius: 1em;
-}
-
-div#feed-buttons a img {
-    margin: 5px;
-    vertical-align: middle;
-    border-style: none;
-}
-
 div#page {
     max-width: 45em;
     margin: 1em auto;
@@ -110,6 +85,15 @@ div#menu a:hover {
     color: #eeb76b;
 }
 
+div#menu div#feed-buttons {
+    float: right;
+}
+
+div#menu div#feed-buttons a img {
+    margin-right: 0.6em;
+    border-style: none;
+}
+
 div#breadcrumb {
     padding: 1em 1em 0.2em;
     color: #696969;
-- 
cgit v1.2.3-74-g34f1