Add abbrev_defs to .gitignore
Set font height in Linux to 150