summaryrefslogtreecommitdiffstats
path: root/web/input
diff options
context:
space:
mode:
Diffstat (limited to 'web/input')
-rw-r--r--web/input/resources/plugins.css33
1 files changed, 33 insertions, 0 deletions
diff --git a/web/input/resources/plugins.css b/web/input/resources/plugins.css
index c9b31a3..872283e 100644
--- a/web/input/resources/plugins.css
+++ b/web/input/resources/plugins.css
@@ -145,3 +145,36 @@ p#news-footer {
145 text-align: center; 145 text-align: center;
146 font-size: small; 146 font-size: small;
147} 147}
148
149/*
150 * On narrow displays, replace the menu bar with a simple list of items, and
151 * omit the GitHub ribbon.
152 */
153
154@media (max-width: 45em) {
155 div#menu {
156 padding: 1em;
157 background-color: #fff;
158 border-bottom: 1px dotted #696969;
159 }
160
161 div#menu span {
162 display: list-item;
163 padding: 0;
164 }
165
166 div#menu span#current {
167 color: #5a95c7;
168 background-color: #fff;
169 }
170
171 div#menu a {
172 color: #1b476b;
173 }
174}
175
176@media (max-width: 60em) {
177 div#github-ribbon {
178 display: none;
179 }
180}