rich 12.4.0

SVG Redux

on Python PyPI

This release has a major change to the SVG export. It is now a simpler design, and will render outside of a browser.

[12.4.0] - 2022-05-07

Changed

• Rebuilt SVG export to create a simpler SVG that is more portable
• Fix render_lines crash when render height was negative #2246

Added

• Add padding to Syntax constructor #2247