Alberto Bertogli 4b1e1eb84c css: Introduce dark mode ... This patch extends our CSS to introduce dark mode, so the style shown matches the user media preference. It is very analogous to the previous one, only minor adjustments have been made to make the contrast levels pass the accessibility standards. No changes have been made to the pygments CSS. It works surprisingly well as-is, but there are some minor changes that may be needed. Those will be done in subsequent patches.		2022-10-13 22:32:21 +01:00
..
git-arr.css	css: Introduce dark mode	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	Initial commit	2012-11-10 17:49:54 +00:00