summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorHolger Weiss <holger@zedat.fu-berlin.de>2013-10-28 20:31:53 (GMT)
committerHolger Weiss <holger@zedat.fu-berlin.de>2013-10-28 20:31:53 (GMT)
commit8fce7063e9054ae3ce59023dc931874c61ddde4b (patch)
tree952c8a237c0852da3b8b37a73a57de7791d91819
parent67bd2a91b6dba883c02af4c2fc25c312e6076cf4 (diff)
downloadsite-8fce7063e9054ae3ce59023dc931874c61ddde4b.tar.gz
Show a usable menu on handheld devices
On narrow displays, replace the menu bar with a simple list of items, and omit the GitHub ribbon.
-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}