I changed my default font Posted on August 23, 2023 by Dennis Just that, I changed my default font to IBM Plex Mono. So far I like it.