Add an option for monospace font

Julien LepillerThu May 10 14:54:38+0200 2018

86b3362

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