CSS overrides satisfactory for the time being