Make the code editor fonts nicer