8.581
Bearbeitungen
MediaWiki:Mobile.css: Unterschied zwischen den Versionen
MediaWiki:Mobile.css (Quelltext anzeigen)
Version vom 20. November 2021, 20:48 Uhr
, 20:48, 20. Nov. 2021keine Bearbeitungszusammenfassung
Jneug (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
Jneug (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
| Zeile 38: | Zeile 38: | ||
--warning-color: #ffd44a; | --warning-color: #ffd44a; | ||
--wrapper-hint: #8db1bb; | --wrapper-hint: #8db1bb; | ||
--wrapper-task: # | --wrapper-task: #648746; | ||
--wrapper-bonus: # | --wrapper-bonus: #9f762a; | ||
--wrapper-tldr: # | --wrapper-tldr: #c8ccd1; | ||
--wrapper-solution: # | --wrapper-solution: #7c8003; | ||
--wrapper-shortlink: #f5f8da; | --wrapper-shortlink: #f5f8da; | ||
--wrapper-important: #ff593f; | --wrapper-important: #ff593f; | ||
| Zeile 502: | Zeile 502: | ||
color: #4e6a8e; | color: #4e6a8e; | ||
} | } | ||
.wrapper pre { | .wrapper pre { | ||
background-color: rgba(248, 249, 250, 0.75); | background-color: rgba(248, 249, 250, 0.75); | ||
} | } | ||
@media (prefers-color-scheme: dark) { | @media (prefers-color-scheme: dark) { | ||
.wrapper pre { | .wrapper pre { | ||
background-color: rgba(200, 204, 209, 0.25); | background-color: rgba(200, 204, 209, 0.25); | ||