/* Placeholder stylesheet kept for backward compatibility with index.html. */