Add whitespace font to highlight different types of whitespace.

Julien LepillerSat Nov 14 02:36:48+0100 2020

7acd08b

offlate/doc
namelast commitdate
conf.pyInitial commitMon Apr 02 21:51:58+0200 2018
index.rstInitial commitMon Apr 02 21:51:58+0200 2018