code: function refresh(body) {
      document.querySelector('body').className = 'preload';
      document.body.innerHTML = body;
  
      // Re-initialize the page
      init();
      autoCollapse();
  
      document.querySelector('body').className = '';
  }
docs: /*
  Refresh the page after a live update from the server. This only
  works in live preview mode (using the `--server` parameter).