fixed default font size on linux to 10px