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

Make line numbering appear dark in dark mode

Browse source 
This includes some changes to the colors in light mode to make them
match Codex tokens.

Bug: T365926
Change-Id: Ifa5d762bffa3c4ebdcfa451cc4a9965cd7b1b064
This commit is contained in:
Taavi Väänänen 2024-09-29 14:25:48 +03:00
parent b8dd28343c
commit 66622c60a5
No known key found for this signature in database
GPG key ID: EF242F709F912FBE
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;
} }
} }