default terminal font-size 1em