wikimedia/mediawiki-extensions-SyntaxHighlight_GeSHi
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/SyntaxHighlight_GeSHi synced 2024-11-23 22:13:40 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge "Make line numbering appear dark in dark mode"

Browse source
This commit is contained in:
jenkins-bot 2024-09-29 17:01:57 +00:00 committed by Gerrit Code Review
parent 21a2d96102 66622c60a5
commit e8d00cc402
1 changed files with 6 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

10
modules/pygments.wrapper.less
View file

@ -1,3 +1,5 @@
@import 'mediawiki.skin.variables.less';
.mw-highlight { .mw-highlight {
unicode-bidi: embed; unicode-bidi: embed;
@ -52,7 +54,7 @@
/* @noflip */ /* @noflip */
padding-left: 3.5em; padding-left: 3.5em;
/* @noflip */ /* @noflip */
box-shadow: inset 2.75em 0 0 #f0f0f0; box-shadow: inset 2.75em 0 0 @background-color-neutral;
.hll { .hll {
/* @noflip */ /* @noflip */
@ -67,7 +69,7 @@
/* @noflip */ /* @noflip */
padding-right: 3.5em; padding-right: 3.5em;
/* @noflip */ /* @noflip */
box-shadow: inset -2.75em 0 0 #f0f0f0; box-shadow: inset -2.75em 0 0 @background-color-neutral;
/* stylelint-disable-next-line no-descending-specificity */ /* stylelint-disable-next-line no-descending-specificity */
.hll { .hll {
@ -84,7 +86,7 @@
box-sizing: border-box; box-sizing: border-box;
width: 2.75em; width: 2.75em;
background: none; background: none;
color: #72777d; color: @color-placeholder;
white-space: pre; white-space: pre;
.mw-content-ltr& { .mw-content-ltr& {
@ -112,6 +114,6 @@
a:hover .linenos, a:hover .linenos,
.hll a .linenos { .hll a .linenos {
color: #333; color: @color-base--hover;
} }
} }