/* Disabled: dark theme replaced by white-red-theme.css */