/* stale stylesheet: current HTML will be restored by asset recovery */