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/page.html | 36 +++++++++++++++++-------------------
 1 file changed, 17 insertions(+), 19 deletions(-)

(limited to 'web/page.html')

diff --git a/web/page.html b/web/page.html
index 37f2e97..ac953eb 100644
--- a/web/page.html
+++ b/web/page.html
@@ -23,26 +23,24 @@
        width="149"
        height="149"/></a>
     </div>
-    <div id="feed-area">Follow us!
-      <div id="feed-buttons">
-        <a
-         href="rss.xml"
-         title="RSS Feed"><img
-         src="resources/rss.png"
-         alt="RSS"
-         width="20"
-         height="20"/></a><a
-         href="https://twitter.com/intent/follow?screen_name=monitorplugins"
-         title="Follow Us on Twitter"><img
-         src="resources/twitter.png"
-         alt="Twitter"
-         width="20"
-         height="20"/></a>
-      </div>
-    </div>
-
     <div id="page">
-      <div id="menu">{% menu() %}</div>
+      <div id="menu">
+        <div id="feed-buttons">
+          <a
+           href="https://twitter.com/intent/follow?screen_name=monitorplugins"
+           title="Follow Us on Twitter"><img
+           src="resources/twitter.png"
+           alt="Twitter"
+           width="20"
+           height="20"/></a><a
+           href="rss.xml"
+           title="RSS Feed"><img
+           src="resources/rss.png"
+           alt="RSS"
+           width="20"
+           height="20"/></a>
+        </div>{% menu() %}
+      </div>
       <div id="breadcrumb">{{ breadcrumb() }}</div>
       <div id="content">{{ __content__ }}</div>
       <div id="footer">Copyright &copy; {{ copyright_years(since=2013) }}
-- 
cgit v1.2.3-74-g34f1