unix fileencoding, smaller font size under windows