Fall back to variable-width font in terminal