Revert "Revert "Switch from DejaVu to Noto font""

This reverts commit 2423ba8470.
This commit is contained in:
Augustin Cavalier
2017-02-19 12:09:33 -05:00
parent d54cb434e0
commit 7abafe9f3f
8 changed files with 19 additions and 19 deletions
+2 -2
View File
@@ -7,12 +7,12 @@
*/
*, title {
font-family: "DejaVu Sans", Arial, sans-serif;
font-family: "Noto Sans", Arial, sans-serif;
color: #333333;
}
cmdsynopsis, code, command, computeroutput, envar, filename, keycode, keysym,
literal, option, parameter, sgmltag, systemitem {
font-family: "Deja Vu Mono", Courier, "Courier New", monospace, fixed;
font-family: "Noto Mono", Courier, "Courier New", monospace, fixed;
}
term {
font-weight: bold;
+1 -1
View File
@@ -27,7 +27,7 @@ body {
color: #333333; /* mine shaft */
background-color: white;
font-size: 14.4px;
font-family: "DejaVu Sans", Arial, sans-serif;
font-family: "Noto Sans", Arial, sans-serif;
}
h1, h2, h3, h4, h5, h6 {