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:42 Uhr
, 23:42, 20. Nov. 2021keine Bearbeitungszusammenfassung
Jneug (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
Jneug (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
| Zeile 518: | Zeile 518: | ||
} | } | ||
.wrapper pre { | .wrapper pre { | ||
background-color: | background-color: var(--code-background-dark); | ||
/*background-color: fade(@code-background, 75%); | |||
@media (prefers-color-scheme: dark) { | @media (prefers-color-scheme:dark) { | ||
background-color: fade(@code-background-dark, 25%); | |||
}*/ | |||
} | } | ||
.wrapper code.clean, | .wrapper code.clean, | ||