/* Duplicate of base.css — merged, file kept for backwards compatibility */