diff options
Diffstat (limited to 'web/input/resources')
-rw-r--r-- | web/input/resources/plugins.css | 43 |
1 files changed, 22 insertions, 21 deletions
diff --git a/web/input/resources/plugins.css b/web/input/resources/plugins.css index 70d0ec1..ab6198d 100644 --- a/web/input/resources/plugins.css +++ b/web/input/resources/plugins.css | |||
@@ -280,6 +280,26 @@ img.travis { | |||
280 | } | 280 | } |
281 | 281 | ||
282 | /* | 282 | /* |
283 | * Dark scheme. | ||
284 | */ | ||
285 | |||
286 | @media (prefers-color-scheme: dark) { | ||
287 | /* | ||
288 | * Loosely based on: | ||
289 | * | ||
290 | * https://material.io/archive/guidelines/style/color.html#color-themes | ||
291 | */ | ||
292 | body { | ||
293 | color: #eee; | ||
294 | background-color: #212121; | ||
295 | } | ||
296 | |||
297 | h1, h2, h3, h4, h5, h6 { | ||
298 | color: #eee; | ||
299 | } | ||
300 | } | ||
301 | |||
302 | /* | ||
283 | * On narrow displays, replace the menu bar with a simple list of items, and | 303 | * On narrow displays, replace the menu bar with a simple list of items, and |
284 | * omit the GitHub ribbon. | 304 | * omit the GitHub ribbon. |
285 | */ | 305 | */ |
@@ -287,7 +307,7 @@ img.travis { | |||
287 | @media (max-width: 45em) { | 307 | @media (max-width: 45em) { |
288 | div#menu { | 308 | div#menu { |
289 | padding: 1em; | 309 | padding: 1em; |
290 | background-color: #fff; | 310 | background-color: inherit; |
291 | border-bottom: 1px dotted #696969; | 311 | border-bottom: 1px dotted #696969; |
292 | } | 312 | } |
293 | 313 | ||
@@ -298,7 +318,7 @@ img.travis { | |||
298 | 318 | ||
299 | div#menu span#current { | 319 | div#menu span#current { |
300 | color: #5a95c7; | 320 | color: #5a95c7; |
301 | background-color: #fff; | 321 | background-color: inherit; |
302 | } | 322 | } |
303 | 323 | ||
304 | div#menu a { | 324 | div#menu a { |
@@ -311,22 +331,3 @@ img.travis { | |||
311 | display: none; | 331 | display: none; |
312 | } | 332 | } |
313 | } | 333 | } |
314 | |||
315 | /* | ||
316 | * Dark scheme. | ||
317 | */ | ||
318 | @media (prefers-color-scheme: dark) { | ||
319 | /* | ||
320 | * Loosely based on: | ||
321 | * | ||
322 | * https://material.io/archive/guidelines/style/color.html#color-themes | ||
323 | */ | ||
324 | body { | ||
325 | color: #eee; | ||
326 | background-color: #212121; | ||
327 | } | ||
328 | |||
329 | h1, h2, h3, h4, h5, h6 { | ||
330 | color: #eee; | ||
331 | } | ||
332 | } | ||