8.581
Bearbeitungen
MediaWiki:Mobile.css: Unterschied zwischen den Versionen
MediaWiki:Mobile.css (Quelltext anzeigen)
Version vom 20. November 2021, 23:29 Uhr
, 23:29, 20. Nov. 2021keine Bearbeitungszusammenfassung
Jneug (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
Jneug (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
| Zeile 522: | Zeile 522: | ||
} | } | ||
@media (prefers-color-scheme: dark) { | @media (prefers-color-scheme: dark) { | ||
. | .mw-content-ltr.mw-highlight-lines pre, | ||
.mw-content-ltr.content .mw-highlight-lines pre { | |||
box-shadow-col: inset 2.75em 0 0 #3a3a3a; | box-shadow-col: inset 2.75em 0 0 #3a3a3a; | ||
} | } | ||
.mw-highlight .linenos { | |||
color: var(--text-color); | color: var(--text-color); | ||
} | } | ||