/* Placeholder to satisfy /index.css request in index.html. */