8.581
Bearbeitungen
MediaWiki:Mobile.css: Unterschied zwischen den Versionen
MediaWiki:Mobile.css (Quelltext anzeigen)
Version vom 20. November 2021, 23:27 Uhr
, 23:27, 20. Nov. 2021keine Bearbeitungszusammenfassung
Jneug (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
Jneug (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
| Zeile 31: | Zeile 31: | ||
--common-border: #212121; | --common-border: #212121; | ||
--header-background: #070707; | --header-background: #070707; | ||
--code-background: # | --code-background: #212121; | ||
--code-color: #83a8d8; | --code-color: #83a8d8; | ||
--notice-color: #76e5f8; | --notice-color: #76e5f8; | ||
| Zeile 512: | Zeile 512: | ||
@media (prefers-color-scheme: dark) { | @media (prefers-color-scheme: dark) { | ||
.wrapper pre { | .wrapper pre { | ||
background-color: rgba( | background-color: rgba(33, 33, 33, 0.25); | ||
} | } | ||
} | } | ||
| Zeile 521: | Zeile 521: | ||
padding: 0; | padding: 0; | ||
} | } | ||
.wrapper .mw-highlight-lines pre { | @media (prefers-color-scheme: dark) { | ||
.wrapper .mw-highlight-lines pre { | |||
box-shadow-col: inset 2.75em 0 0 #3a3a3a; | |||
} | |||
.wrapper .mw-highlight .linenos { | |||
color: var(--text-color); | |||
} | |||
} | } | ||
.hgbox { | .hgbox { | ||