Files
Luke Street a6cb044aef Update default font & increase size (#1495)
* Update default font & increase size

This pulls in JetBrains Mono as a variable web font (2 KiB)
and uses it as the default font family. The default size is
updated from 11px to 13px to improve legibility.

Additionally, an appearance setting "Enable ligatures" is
added, allowing users to disable the font ligatures that
are included in JetBrains Mono (or their own configured
font).

* Disable fontLigatures by default; add credits
2025-03-20 13:18:58 +09:00
..
2024-12-11 01:03:56 +09:00
2024-12-11 01:03:56 +09:00
2024-12-11 01:03:56 +09:00
2025-02-03 19:03:43 +00:00
2024-12-11 01:03:56 +09:00