mediawiki-extensions-Syntax.../modules
Ed Sanders 98c644a639 Improve appearance of line numbers
* Render a solid gutter that can take 3-4 digit line numbers
* Position line numbers absolutely in the gutter
* Add padding to code so that it doesn't wrap into the gutter

Change-Id: I7abb87452ad61808dad32b41c1d2d86b8ababb28
2020-12-30 21:35:04 +00:00
..
ve-syntaxhighlight Use language as node description 2019-07-31 16:41:15 +01:00
pygments.generated.css Update pygments to 2.7.2 2020-11-23 22:16:20 +00:00
pygments.wrapper.less Improve appearance of line numbers 2020-12-30 21:35:04 +00:00