Smaller font for the DevConsole.