8.581
Bearbeitungen
MediaWiki:Common.css: Unterschied zwischen den Versionen
MediaWiki:Common.css (Quelltext anzeigen)
Version vom 9. November 2021, 13:04 Uhr
, 13:04, 9. Nov. 2021keine Bearbeitungszusammenfassung
Jneug (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
Jneug (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
| Zeile 8: | Zeile 8: | ||
--common-border: #3a3a3a; | --common-border: #3a3a3a; | ||
--header-background: #eaecf0; | --header-background: #eaecf0; | ||
--code-background: #f8f9fa; | |||
--code-color: #4e6a8e; | |||
} | } | ||
@media (prefers-color-scheme: dark) { | @media (prefers-color-scheme: dark) { | ||
| Zeile 18: | Zeile 20: | ||
--common-border: #212121; | --common-border: #212121; | ||
--header-background: #070707; | --header-background: #070707; | ||
--code-background: #f8f9fa; | |||
--code-color: #7b9dc9; | |||
} | } | ||
} | } | ||
| Zeile 124: | Zeile 128: | ||
.pre { | .pre { | ||
font-family: monospace, 'Courier'; | font-family: monospace, 'Courier'; | ||
color: | color: var(--code-color); | ||
} | } | ||
.pre { | .pre { | ||
background-color: | background-color: var(--code-background); | ||
border: 1px solid | border: 1px solid var(--common-border); | ||
padding: 1em; | padding: 1em; | ||
white-space: pre-wrap; | white-space: pre-wrap; | ||