Use a different font in gui mode