/* user.css is empty by default */