8.581
Bearbeitungen
MediaWiki:Mobile.css: Unterschied zwischen den Versionen
Zur Navigation springen
Zur Suche springen
MediaWiki:Mobile.css (Quelltext anzeigen)
Version vom 20. November 2021, 23:31 Uhr
, 23:31, 20. Nov. 2021keine Bearbeitungszusammenfassung
Jneug (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
Jneug (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
| Zeile 181: | Zeile 181: | ||
} | } | ||
pre, | pre, | ||
.content pre, | |||
.pre { | .pre { | ||
background-color: var(--code-background); | background-color: var(--code-background); | ||
| Zeile 193: | Zeile 194: | ||
background-color: transparent; | background-color: transparent; | ||
border: none; | border: none; | ||
} | |||
@media (prefers-color-scheme: dark) { | |||
.mw-content-ltr.mw-highlight-lines pre, | |||
.mw-content-ltr.content .mw-highlight-lines pre { | |||
box-shadow: inset 2.75em 0 0 #3a3a3a; | |||
} | |||
.mw-highlight .linenos { | |||
color: var(--text-color); | |||
} | |||
} | } | ||
/* Color utilities */ | /* Color utilities */ | ||
| Zeile 520: | Zeile 530: | ||
border: none; | border: none; | ||
padding: 0; | padding: 0; | ||
} | } | ||
.hgbox { | .hgbox { | ||