dff4ff6757
Pygments 2.12 changes the element layout slightly, adding a wrapper <div> that was accidentally removed before: https://github.com/pygments/pygments/issues/632. This patch adds a workaround, so the styling is consistent on both 2.11 and 2.12. |
||
|---|---|---|
| .. | ||
| blob.html | ||
| branch.html | ||
| commit-list.html | ||
| commit.html | ||
| index.html | ||
| paginate.html | ||
| patch.tpl | ||
| summary.html | ||
| tree-list.html | ||
| tree.html | ||