how to change font size in python shell