/* stale stylesheet recovered */