summaryrefslogtreecommitdiffstats
path: root/web/input/resources/plugins.css
diff options
context:
space:
mode:
Diffstat (limited to 'web/input/resources/plugins.css')
-rw-r--r--web/input/resources/plugins.css34
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
49div#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
60div#feed-buttons {
61 margin-top: 1ex;
62 padding: 5px;
63 background-color: #e6e6e6;
64 border-style: none;
65 border-radius: 1em;
66}
67
68div#feed-buttons a img {
69 margin: 5px;
70 vertical-align: middle;
71 border-style: none;
72}
73
74div#page { 49div#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
88div#menu div#feed-buttons {
89 float: right;
90}
91
92div#menu div#feed-buttons a img {
93 margin-right: 0.6em;
94 border-style: none;
95}
96
113div#breadcrumb { 97div#breadcrumb {
114 padding: 1em 1em 0.2em; 98 padding: 1em 1em 0.2em;
115 color: #696969; 99 color: #696969;