Comment by mometsi

Less conveniently, you can use your browser to inspect the code panel and change its font to whatever you like.