diff options
Diffstat (limited to 'searxng_extra')
| -rwxr-xr-x | searxng_extra/update/update_pygments.py | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/searxng_extra/update/update_pygments.py b/searxng_extra/update/update_pygments.py index 3c01bd6da..1d3a127cf 100755 --- a/searxng_extra/update/update_pygments.py +++ b/searxng_extra/update/update_pygments.py @@ -47,9 +47,6 @@ END_DARK_THEME = """ class Formatter(HtmlFormatter): # pylint: disable=missing-class-docstring - @property - def _pre_style(self): - return 'line-height: 100%;' def get_style_lines(self, arg=None): style_lines = [] @@ -73,4 +70,4 @@ def generat_css(light_style, dark_style) -> str: if __name__ == '__main__': print("update: %s" % LESS_FILE) with LESS_FILE.open('w', encoding='utf8') as f: - f.write(generat_css('default', 'lightbulb')) + f.write(generat_css('default', 'monokai')) |