/* Kept for compatibility with index.html. Current colour refresh styles live in colour-refresh.css. */