Changed default linux gui font