Minor font tweaks for terminals