/* Stands in for a stylesheet that no longer exists (see stale-reload.js). */