/* Disabled duplicate stylesheet. Main custom styles are in user.css. */