8.581
Bearbeitungen
MediaWiki:Mobile.css: Unterschied zwischen den Versionen
MediaWiki:Mobile.css (Quelltext anzeigen)
Version vom 20. November 2021, 20:35 Uhr
, 20:35, 20. Nov. 2021keine Bearbeitungszusammenfassung
Jneug (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
Jneug (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
| Zeile 509: | Zeile 509: | ||
.wrapper code, | .wrapper code, | ||
.wrapper pre { | .wrapper pre { | ||
background-color: rgba(200, 204, 209, 0. | background-color: rgba(200, 204, 209, 0.25); | ||
} | } | ||
} | } | ||
| Zeile 517: | Zeile 517: | ||
border: none; | border: none; | ||
padding: 0; | padding: 0; | ||
} | |||
.wrapper .mw-highlight-lines pre { | |||
box-shadow-col: inset 2.75em 0 0 rgba(0, 0, 0, 0.25); | |||
} | |||
.wrapper .mw-highlight .linenos { | |||
color: #fff; | |||
} | } | ||
.hgbox { | .hgbox { | ||