You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
This repository has been archived by the owner on Jun 3, 2024. It is now read-only.
may be a dupe of #39, but I don't have any of these fonts except like Courier and Times New Roman, which both suck.
How about removing the font setting altogether and simply using the browser's default? Many people have this configured to their liking.
Or, choose from a list of popular fixed-width fonts hosted on Google Fonts, because you won't have to package them. If someone wants a custom font, they can paste in the Google Fonts URL of what they want.
The text was updated successfully, but these errors were encountered:
may be a dupe of #39, but I don't have any of these fonts except like Courier and Times New Roman, which both suck.
The text was updated successfully, but these errors were encountered: