diff options
| author | jfbu <jfbu@free.fr> | 2021-02-13 12:20:05 +0300 |
|---|---|---|
| committer | jfbu <jfbu@free.fr> | 2021-02-13 12:20:05 +0300 |
| commit | cea87d13acaa963526f8ac67efb101f2cfa53ab3 (patch) | |
| tree | 8b8cce36749da9fe475d10defe19f55038283cb2 /sphinx/highlighting.py | |
| parent | 473718c4d46f8623785e6dd625c5f7140be1e403 (diff) | |
Mention pygments_style in sphinxhighlight.sty
Diffstat (limited to 'sphinx/highlighting.py')
| -rw-r--r-- | sphinx/highlighting.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/sphinx/highlighting.py b/sphinx/highlighting.py index 18d2f72bd..ad010474e 100644 --- a/sphinx/highlighting.py +++ b/sphinx/highlighting.py @@ -57,6 +57,7 @@ _LATEX_ADD_STYLES = r''' # cf pygments #1708 which makes this unneeded for Pygments > 2.7.4 _LATEX_ADD_STYLES_FIXPYG = r''' \makeatletter +% fix for Pygments <= 2.7.4 \let\spx@original@fcolorbox\fcolorbox \def\spx@fixpyg@fcolorbox{\fboxsep-\fboxrule\spx@original@fcolorbox} \def\PYG#1#2{\PYG@reset\PYG@toks#1+\relax+% |