wikimedia/mediawiki-extensions-SyntaxHighlight_GeSHi
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/SyntaxHighlight_GeSHi synced 2024-11-30 17:14:55 +00:00
Code Issues Packages Projects Releases Wiki Activity

De-emphasise line numbers

Browse source 
Use the darker text color for hovered/selected lines.

Bug: T271956
Change-Id: Icc6dce48a2e5720807309a47f84d8c2a7552a4f6
This commit is contained in:
Ed Sanders 2021-01-13 16:52:44 +00:00
parent ecbc374f7d
commit 8d645a385c
1 changed files with 4 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
modules/pygments.wrapper.less
View file

@ -62,7 +62,7 @@
text-align: right; text-align: right;
margin-right: 4px; margin-right: 4px;
background: none; background: none;
color: #333; color: #72777d;
white-space: pre; white-space: pre;
/* Make line numbers non copyable */ /* Make line numbers non copyable */
/* TODO: This only exists for cached output and should be removed eventually */ /* TODO: This only exists for cached output and should be removed eventually */
@ -87,7 +87,8 @@
float: right; float: right;
} }
a:hover .linenos { a:hover .linenos,
color: #808080; .hll a .linenos {
color: #333;
} }
} }