diff options
| author | Paweł Fertyk <pfertyk@users.noreply.github.com> | 2020-07-04 18:10:03 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-07-04 18:10:03 +0200 |
| commit | 728fd19ebcb69ddb2c7af159939e1a19ae53a892 (patch) | |
| tree | ed0c18f61887b61a9c4f41cf021a202dc92c3ad1 /pygments/style.py | |
| parent | b5577a68a9c286f4bce157d63e8c83ed8d70e704 (diff) | |
| download | pygments-git-728fd19ebcb69ddb2c7af159939e1a19ae53a892.tar.gz | |
Fix Solarized line number colors (#1477)
* Add font and background colors to Style
* Move all styles to get_style_defs, add tests
* Remove hardcoded styles, add special lineno style
* Add styles for special line numbers in tables
* Update noclasses documentation
* Refactor linenos elements and styles, add tests
* Update AUTHORS
* Fix multiple CSS prefixes, add tests
Diffstat (limited to 'pygments/style.py')
| -rw-r--r-- | pygments/style.py | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/pygments/style.py b/pygments/style.py index 8f50feb1..b2bc9879 100644 --- a/pygments/style.py +++ b/pygments/style.py @@ -176,5 +176,17 @@ class Style(metaclass=StyleMeta): #: highlight background color highlight_color = '#ffffcc' + #: line number font color + line_number_color = '#000000' + + #: line number background color + line_number_background_color = '#f0f0f0' + + #: special line number font color + line_number_special_color = '#000000' + + #: special line number background color + line_number_special_background_color = '#ffffc0' + #: Style definitions for individual token types. styles = {} |