It’d be great to have some built-in support for other fonts. It’s possible currently to hack something in with JavaScript and a Google Font embed, but it’s a little wonky. The first time the page is loaded, it brings up the default fonts, and then runs the custom script to pull in Google stuff.
It works reasonably well after that, but it’s still kind of a hack. Perhaps a few could be added to the customization page and we could pick?
The ideal would also be for write.as to host the fonts directly, rather than having to rely on Google.