/* Placeholder to avoid 404s for /index.css in production. */