adjusted font for linux gui