How do I change the font type, style or size for glitch code editor?
The editor does not have this feature built in. However, you should be able to use a browser extension like stylebot to adjust the font.
Do any members of the community have experience doing this? If so, how does it work for you?
I believe Melody (https://glitch.com/~melody) has rethemed the Glitch editor - they demoed it at BangBangCon after their talk, and came and visited the Glitch offices recently.
One way to do it, in Chrome, is with a custom Chrome extension, following this recipe: https://bugs.chromium.org/p/chromium/issues/detail?id=340072#c4 I followed that recipe to make this: GlitchEditorStyleSheet.zip (834 Bytes)
Another way, which is pretty similar, would be to use Stylus, a browser extension that is available in multiple browsers, which is for putting custom CSS on particular pages.
Hope this helps,