diff options
| author | Matthäus G. Chajdas <dev@anteru.net> | 2020-10-22 17:40:30 +0200 |
|---|---|---|
| committer | Matthäus G. Chajdas <dev@anteru.net> | 2020-10-22 17:40:30 +0200 |
| commit | 0d28e2b7a20ec2bf0025115844647c8e5b88e70b (patch) | |
| tree | 3f3979ecb8c5394eff21ed819dd2b556d4ae8daf /pygments/formatters/html.py | |
| parent | 3e1b79c82d2df318f63f24984d875fd2a3400808 (diff) | |
| download | pygments-git-fix/1579.tar.gz | |
Speculative fix for #1579.fix/1579
This removes the top/bottom padding changes, and only keeps left/right
padding, in the hope that this does not break all Sphinx themes.
Diffstat (limited to 'pygments/formatters/html.py')
| -rw-r--r-- | pygments/formatters/html.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pygments/formatters/html.py b/pygments/formatters/html.py index 29cc9fb8..97c67cd3 100644 --- a/pygments/formatters/html.py +++ b/pygments/formatters/html.py @@ -576,14 +576,14 @@ class HtmlFormatter(Formatter): @property def _linenos_style(self): - return 'color: %s; background-color: %s; padding: 0 5px 0 5px;' % ( + return 'color: %s; background-color: %s; padding-left: 5px; padding-right: 5px;' % ( self.style.line_number_color, self.style.line_number_background_color ) @property def _linenos_special_style(self): - return 'color: %s; background-color: %s; padding: 0 5px 0 5px;' % ( + return 'color: %s; background-color: %s; padding-left: 5px; padding-right: 5px;' % ( self.style.line_number_special_color, self.style.line_number_special_background_color ) |