diff options
Diffstat (limited to 'web/input/resources')
-rw-r--r-- | web/input/resources/plugins.css | 34 |
1 files changed, 9 insertions, 25 deletions
diff --git a/web/input/resources/plugins.css b/web/input/resources/plugins.css index 187f3df..b368d1d 100644 --- a/web/input/resources/plugins.css +++ b/web/input/resources/plugins.css | |||
@@ -46,31 +46,6 @@ div#github-ribbon a img { | |||
46 | border-style: none; | 46 | border-style: none; |
47 | } | 47 | } |
48 | 48 | ||
49 | div#feed-area { | ||
50 | float: right; | ||
51 | margin: 150px 40px 1ex 1em; | ||
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: 1ex; | ||
62 | padding: 5px; | ||
63 | background-color: #e6e6e6; | ||
64 | border-style: none; | ||
65 | border-radius: 1em; | ||
66 | } | ||
67 | |||
68 | div#feed-buttons a img { | ||
69 | margin: 5px; | ||
70 | vertical-align: middle; | ||
71 | border-style: none; | ||
72 | } | ||
73 | |||
74 | div#page { | 49 | div#page { |
75 | max-width: 45em; | 50 | max-width: 45em; |
76 | margin: 1em auto; | 51 | margin: 1em auto; |
@@ -110,6 +85,15 @@ div#menu a:hover { | |||
110 | color: #eeb76b; | 85 | color: #eeb76b; |
111 | } | 86 | } |
112 | 87 | ||
88 | div#menu div#feed-buttons { | ||
89 | float: right; | ||
90 | } | ||
91 | |||
92 | div#menu div#feed-buttons a img { | ||
93 | margin-right: 0.6em; | ||
94 | border-style: none; | ||
95 | } | ||
96 | |||
113 | div#breadcrumb { | 97 | div#breadcrumb { |
114 | padding: 1em 1em 0.2em; | 98 | padding: 1em 1em 0.2em; |
115 | color: #696969; | 99 | color: #696969; |