dec font size under linux