8.581
Bearbeitungen
MediaWiki:Mobile.css: Unterschied zwischen den Versionen
MediaWiki:Mobile.css (Quelltext anzeigen)
Version vom 20. November 2021, 20:22 Uhr
, 20:22, 20. Nov. 2021keine Bearbeitungszusammenfassung
Jneug (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
Jneug (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
| Zeile 32: | Zeile 32: | ||
--header-background: #070707; | --header-background: #070707; | ||
--code-background: #f8f9fa; | --code-background: #f8f9fa; | ||
--code-color: # | --code-color: #83a8d8; | ||
--notice-color: #76e5f8; | --notice-color: #76e5f8; | ||
--error-color: #de6571; | --error-color: #de6571; | ||
| Zeile 175: | Zeile 175: | ||
color: var(--code-color); | color: var(--code-color); | ||
} | } | ||
pre, | |||
.pre { | .pre { | ||
background-color: var(--code-background); | background-color: var(--code-background); | ||