Jérôme Duval 9a90ee3a38 Revert "Switch default fixed font from NotoMono to NotoSansMono"
This reverts commit b2acee1cb986b696adfad7daabfe9279949a3e54.

Reason: NotoSansMono is not per se a fixed font.
2018-08-02 14:19:33 +02:00
..
2014-11-17 15:24:07 +01:00
2017-11-26 11:14:46 +01:00