summaryrefslogtreecommitdiffstats
path: root/web/input/resources
diff options
context:
space:
mode:
Diffstat (limited to 'web/input/resources')
-rw-r--r--web/input/resources/plugins.css44
-rw-r--r--web/input/resources/rss.pngbin0 -> 4310 bytes
-rw-r--r--web/input/resources/twitter.pngbin0 -> 3978 bytes
3 files changed, 41 insertions, 3 deletions
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 @@
5 * 5 *
6 * - See <http://colorschemedesigner.com/#3y21T--rOw0w0>. 6 * - See <http://colorschemedesigner.com/#3y21T--rOw0w0>.
7 * - Additionally, we use the CSS color "dimgray" (#696969) for stuff like the 7 * - Additionally, we use the CSS color "dimgray" (#696969) for stuff like the
8 * breadcrumb navigation and the footer. 8 * breadcrumb navigation and the footer, and a light gray (#E6E6E6) as a
9 * background color.
9 */ 10 */
10 11
11@import url("https://fonts.googleapis.com/css?family=Bitter"); 12@import url("https://fonts.googleapis.com/css?family=Bitter");
@@ -13,8 +14,6 @@
13@import url("https://fonts.googleapis.com/css?family=Source+Code+Pro"); 14@import url("https://fonts.googleapis.com/css?family=Source+Code+Pro");
14 15
15body { 16body {
16 max-width: 45em;
17 margin: 1em auto;
18 font-family: "Source Sans Pro", sans-serif; 17 font-family: "Source Sans Pro", sans-serif;
19 color: #000; 18 color: #000;
20 text-rendering: optimizeLegibility; 19 text-rendering: optimizeLegibility;
@@ -40,6 +39,45 @@ pre {
40 font-size: small; 39 font-size: small;
41} 40}
42 41
42div#github-ribbon {
43 position: absolute;
44 top: 0;
45 right: 0;
46 border-style: none;
47}
48
49div#feed-area {
50 float: right;
51 margin: 150px 16px;
52 color: #696969;
53 text-align: center;
54 font-size: small;
55 font-style: italic;
56 font-weight: bold;
57 white-space: nowrap;
58}
59
60div#feed-buttons {
61 margin-top: 8px;
62 padding: 16px;
63 background-color: #e6e6e6;
64 border-style: none;
65 border-radius: 1em;
66}
67
68div#feed-buttons a {
69 margin: auto 8px;
70}
71
72div#feed-buttons a img {
73 border-style: none;
74}
75
76div#page {
77 max-width: 45em;
78 margin: 1em auto;
79}
80
43div#breadcrumb { 81div#breadcrumb {
44 padding: 1em 1em 0.2em; 82 padding: 1em 1em 0.2em;
45} 83}
diff --git a/web/input/resources/rss.png b/web/input/resources/rss.png
new file mode 100644
index 0000000..c434050
--- /dev/null
+++ b/web/input/resources/rss.png
Binary files differ
diff --git a/web/input/resources/twitter.png b/web/input/resources/twitter.png
new file mode 100644
index 0000000..3a4bff6
--- /dev/null
+++ b/web/input/resources/twitter.png
Binary files differ