ghostty font size not changing