We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Originally posted by asmeurer May 11, 2022 In our custom pygments theme for SymPy, we set the line-height attribute using _pre_style: https://github.com/sympy/sympy/blob/68c37df362e8585d72fc7ef490013bb8eff16e3e/doc/src/_pygments/styles.py#L25-L29
line-height
_pre_style
However, this is being ignored by the docs
We need this so that Unicode pretty printed output doesn't add extra space between lines. See for example https://docs.sympy.org/dev/tutorial/printing.html#unicode-pretty-printer and compare to our previous theme which set this attribute correctly https://docs.sympy.org/latest/tutorial/printing.html#unicode-pretty-printer
I can work around this by adding it to the custom.css, but it seems preferable to include it in the pygments theme since pygments allows this.
The text was updated successfully, but these errors were encountered:
No branches or pull requests
Discussed in #438
Originally posted by asmeurer May 11, 2022
In our custom pygments theme for SymPy, we set the
line-height
attribute using_pre_style
: https://github.com/sympy/sympy/blob/68c37df362e8585d72fc7ef490013bb8eff16e3e/doc/src/_pygments/styles.py#L25-L29However, this is being ignored by the docs
We need this so that Unicode pretty printed output doesn't add extra space between lines. See for example https://docs.sympy.org/dev/tutorial/printing.html#unicode-pretty-printer and compare to our previous theme which set this attribute correctly https://docs.sympy.org/latest/tutorial/printing.html#unicode-pretty-printer
I can work around this by adding it to the custom.css, but it seems preferable to include it in the pygments theme since pygments allows this.
The text was updated successfully, but these errors were encountered: