use Source Code Pro as the editor/result font