Revert "Switch default fixed font from NotoMono to NotoSansMono"

This reverts commit b2acee1cb9. Reason: NotoSansMono is not per se a fixed font.
2018-08-02 14:19:33 +02:00
parent 033f3450e3
commit 9a90ee3a38
4 changed files with 5 additions and 5 deletions
@@ -12,7 +12,7 @@
 }
 cmdsynopsis, code, command, computeroutput, envar, filename, keycode, keysym,
 literal, option, parameter, sgmltag, systemitem {
-	font-family: "Noto Sans Mono", Courier, "Courier New", monospace, fixed;
+	font-family: "Noto Mono", Courier, "Courier New", monospace, fixed;
 }
 term {
  font-weight: bold;