/* A valid empty stylesheet lets an obsolete document finish loading its
   JavaScript recovery module, which then refreshes to the current build. */