Update user.css to match the changes that landed in git master.
Enable global auto-revert mode.