Fossil SCM
Following [https://fossil-scm.org/forum/forumpost/fe5a8006e6234027 | forum discussion] on the question of which monospace default font setting to use, I decided we should remove the OS and browser defaults as covered by the "monospace" fallback. I then added one example of a modern "nerd font" to the head of the list since the mere presence of such expresses an implicit preference that it be used over OS/browser defaults. This list is likely to need to grow.
Commit
c17764f0f1c1bb6ac7d5a4602f4f9f5c100c6d97bc4fe743f79d3f724c8d62df
Parent
f4b3b598c055231…
1 file changed
+4
-5
+4
-5
| --- src/default.css | ||
| +++ src/default.css | ||
| @@ -1895,15 +1895,14 @@ | ||
| 1895 | 1895 | div.markdown ol.footnotes > li.fn-joined > sup.fn-joined, |
| 1896 | 1896 | table.numbered-lines > tbody > tr, |
| 1897 | 1897 | tr.diffskip > td.chunkctrl, |
| 1898 | 1898 | #fossil-status-bar, |
| 1899 | 1899 | .monospace { |
| 1900 | - font-family: "Source Code Pro", "Menlo", "Monaco", "Consolas", | |
| 1901 | - "Andale Mono", "Ubuntu Mono", "Deja Vu Sans Mono", | |
| 1902 | - "Letter Gothic", "Letter Gothic Std", "Prestige Elite Std", | |
| 1903 | - "Courier", "Courier New", | |
| 1904 | - monospace; | |
| 1900 | + font-family: "MesloLGSDZ Nerd Font Mono", /* 2025 hotness */ | |
| 1901 | + "Source Code Pro", /* 2012 hotness */ | |
| 1902 | + "Menlo", "Monaco", "SF Mono", /* Safari reverted to Courier in 2022 */ | |
| 1903 | + monospace; /* let OS/browser default take over */ | |
| 1905 | 1904 | } |
| 1906 | 1905 | |
| 1907 | 1906 | div.markdown > ol.footnotes { |
| 1908 | 1907 | font-size: 90%; |
| 1909 | 1908 | } |
| 1910 | 1909 |
| --- src/default.css | |
| +++ src/default.css | |
| @@ -1895,15 +1895,14 @@ | |
| 1895 | div.markdown ol.footnotes > li.fn-joined > sup.fn-joined, |
| 1896 | table.numbered-lines > tbody > tr, |
| 1897 | tr.diffskip > td.chunkctrl, |
| 1898 | #fossil-status-bar, |
| 1899 | .monospace { |
| 1900 | font-family: "Source Code Pro", "Menlo", "Monaco", "Consolas", |
| 1901 | "Andale Mono", "Ubuntu Mono", "Deja Vu Sans Mono", |
| 1902 | "Letter Gothic", "Letter Gothic Std", "Prestige Elite Std", |
| 1903 | "Courier", "Courier New", |
| 1904 | monospace; |
| 1905 | } |
| 1906 | |
| 1907 | div.markdown > ol.footnotes { |
| 1908 | font-size: 90%; |
| 1909 | } |
| 1910 |
| --- src/default.css | |
| +++ src/default.css | |
| @@ -1895,15 +1895,14 @@ | |
| 1895 | div.markdown ol.footnotes > li.fn-joined > sup.fn-joined, |
| 1896 | table.numbered-lines > tbody > tr, |
| 1897 | tr.diffskip > td.chunkctrl, |
| 1898 | #fossil-status-bar, |
| 1899 | .monospace { |
| 1900 | font-family: "MesloLGSDZ Nerd Font Mono", /* 2025 hotness */ |
| 1901 | "Source Code Pro", /* 2012 hotness */ |
| 1902 | "Menlo", "Monaco", "SF Mono", /* Safari reverted to Courier in 2022 */ |
| 1903 | monospace; /* let OS/browser default take over */ |
| 1904 | } |
| 1905 | |
| 1906 | div.markdown > ol.footnotes { |
| 1907 | font-size: 90%; |
| 1908 | } |
| 1909 |