From 9197d10655450fbcc42e7c68f98d32561220b824 Mon Sep 17 00:00:00 2001
From: Holger Weiss <holger@zedat.fu-berlin.de>
Date: Mon, 14 Oct 2013 23:11:24 +0200
Subject: Add a "Follow us!" box with RSS and Twitter icons

Replace the Twitter button at the bottom of our web pages with a "Follow
us!" box on the right side.  The icons were downloaded from:

http://vervex.deviantart.com/art/Somacro-40-300DPI-Social-Media-Icons-267955425
---
 web/input/resources/plugins.css |  44 +++++++++++++++++++++++++++++++++++++---
 web/input/resources/rss.png     | Bin 0 -> 4310 bytes
 web/input/resources/twitter.png | Bin 0 -> 3978 bytes
 3 files changed, 41 insertions(+), 3 deletions(-)
 create mode 100644 web/input/resources/rss.png
 create mode 100644 web/input/resources/twitter.png

(limited to 'web/input/resources')

diff --git a/web/input/resources/plugins.css b/web/input/resources/plugins.css
index 7b44e7a..abbd5d8 100644
--- a/web/input/resources/plugins.css
+++ b/web/input/resources/plugins.css
@@ -5,7 +5,8 @@
  *
  * - See <http://colorschemedesigner.com/#3y21T--rOw0w0>.
  * - Additionally, we use the CSS color "dimgray" (#696969) for stuff like the
- *   breadcrumb navigation and the footer.
+ *   breadcrumb navigation and the footer, and a light gray (#E6E6E6) as a
+ *   background color.
  */
 
 @import url("https://fonts.googleapis.com/css?family=Bitter");
@@ -13,8 +14,6 @@
 @import url("https://fonts.googleapis.com/css?family=Source+Code+Pro");
 
 body {
-    max-width: 45em;
-    margin: 1em auto;
     font-family: "Source Sans Pro", sans-serif;
     color: #000;
     text-rendering: optimizeLegibility;
@@ -40,6 +39,45 @@ pre {
     font-size: small;
 }
 
+div#github-ribbon {
+    position: absolute;
+    top: 0;
+    right: 0;
+    border-style: none;
+}
+
+div#feed-area {
+    float: right;
+    margin: 150px 16px;
+    color: #696969;
+    text-align: center;
+    font-size: small;
+    font-style: italic;
+    font-weight: bold;
+    white-space: nowrap;
+}
+
+div#feed-buttons {
+    margin-top: 8px;
+    padding: 16px;
+    background-color: #e6e6e6;
+    border-style: none;
+    border-radius: 1em;
+}
+
+div#feed-buttons a {
+    margin: auto 8px;
+}
+
+div#feed-buttons a img {
+    border-style: none;
+}
+
+div#page {
+    max-width: 45em;
+    margin: 1em auto;
+}
+
 div#breadcrumb {
     padding: 1em 1em 0.2em;
 }
diff --git a/web/input/resources/rss.png b/web/input/resources/rss.png
new file mode 100644
index 0000000..c434050
Binary files /dev/null and b/web/input/resources/rss.png differ
diff --git a/web/input/resources/twitter.png b/web/input/resources/twitter.png
new file mode 100644
index 0000000..3a4bff6
Binary files /dev/null and b/web/input/resources/twitter.png differ
-- 
cgit v1.2.3-74-g34f1