Change terminal font size dynamically