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