/* Replaced by user.css */