Alberto Bertogli dff4ff6757 css: Work around Pygments' element layout changes ...

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.

2022-10-13 22:32:21 +01:00

..

git-arr.css

css: Work around Pygments' element layout changes

2022-10-13 22:32:21 +01:00

git-arr.js

views: In the summary, make the sections toggable

2017-08-27 19:43:36 +01:00

syntax.css

css: Dark mode for Pygments' syntax highlight

2022-10-13 22:32:21 +01:00