From 9197d10655450fbcc42e7c68f98d32561220b824 Mon Sep 17 00:00:00 2001 From: Holger Weiss 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 diff --git a/web/README b/web/README index 71c56a4..ada4c02 100644 --- a/web/README +++ b/web/README @@ -9,7 +9,8 @@ Color scheme * See . * 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. Favicon ------- 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 . * - 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 diff --git a/web/page.html b/web/page.html index 5aeb5b9..5f2046e 100644 --- a/web/page.html +++ b/web/page.html @@ -11,40 +11,43 @@ - -
- Fork me on GitHub +
+ GitHub
- - -
{{ __content__ }}
-