I'm using PICO-8 on a MAC and I find that the desktop version has somewhat soft/blurry text. This is especially noticeable when comparing it to the web based educational version. I took a screenshot comparing the desktop version (on the left) to the web editor (on the right). Is there any settings I can change on the desktop version to make the text as sharp as the web based editor?