summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--web/input/resources/plugins.css34
-rw-r--r--web/page.html36
2 files changed, 26 insertions, 44 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;
diff --git a/web/page.html b/web/page.html
index 37f2e97..ac953eb 100644
--- a/web/page.html
+++ b/web/page.html
@@ -23,26 +23,24 @@
23 width="149" 23 width="149"
24 height="149"/></a> 24 height="149"/></a>
25 </div> 25 </div>
26 <div id="feed-area">Follow us!
27 <div id="feed-buttons">
28 <a
29 href="rss.xml"
30 title="RSS Feed"><img
31 src="resources/rss.png"
32 alt="RSS"
33 width="20"
34 height="20"/></a><a
35 href="https://twitter.com/intent/follow?screen_name=monitorplugins"
36 title="Follow Us on Twitter"><img
37 src="resources/twitter.png"
38 alt="Twitter"
39 width="20"
40 height="20"/></a>
41 </div>
42 </div>
43
44 <div id="page"> 26 <div id="page">
45 <div id="menu">{% menu() %}</div> 27 <div id="menu">
28 <div id="feed-buttons">
29 <a
30 href="https://twitter.com/intent/follow?screen_name=monitorplugins"
31 title="Follow Us on Twitter"><img
32 src="resources/twitter.png"
33 alt="Twitter"
34 width="20"
35 height="20"/></a><a
36 href="rss.xml"
37 title="RSS Feed"><img
38 src="resources/rss.png"
39 alt="RSS"
40 width="20"
41 height="20"/></a>
42 </div>{% menu() %}
43 </div>
46 <div id="breadcrumb">{{ breadcrumb() }}</div> 44 <div id="breadcrumb">{{ breadcrumb() }}</div>
47 <div id="content">{{ __content__ }}</div> 45 <div id="content">{{ __content__ }}</div>
48 <div id="footer">Copyright &copy; {{ copyright_years(since=2013) }} 46 <div id="footer">Copyright &copy; {{ copyright_years(since=2013) }}