diff options
Diffstat (limited to 'web/input/resources')
-rw-r--r-- | web/input/resources/plugins.css | 44 | ||||
-rw-r--r-- | web/input/resources/rss.png | bin | 0 -> 4310 bytes | |||
-rw-r--r-- | web/input/resources/twitter.png | bin | 0 -> 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 | ||
15 | body { | 16 | body { |
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 | ||
42 | div#github-ribbon { | ||
43 | position: absolute; | ||
44 | top: 0; | ||
45 | right: 0; | ||
46 | border-style: none; | ||
47 | } | ||
48 | |||
49 | div#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 | |||
60 | div#feed-buttons { | ||
61 | margin-top: 8px; | ||
62 | padding: 16px; | ||
63 | background-color: #e6e6e6; | ||
64 | border-style: none; | ||
65 | border-radius: 1em; | ||
66 | } | ||
67 | |||
68 | div#feed-buttons a { | ||
69 | margin: auto 8px; | ||
70 | } | ||
71 | |||
72 | div#feed-buttons a img { | ||
73 | border-style: none; | ||
74 | } | ||
75 | |||
76 | div#page { | ||
77 | max-width: 45em; | ||
78 | margin: 1em auto; | ||
79 | } | ||
80 | |||
43 | div#breadcrumb { | 81 | div#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 | |||