docs: function setStyleSheet(url) {
    /* global document */
    document.body.style.margin = '0px';
    const styles = document.createElement('link');
    styles.type = 'text/css';
    styles.rel = 'stylesheet';
    styles.href = url;
    document.head.appendChild(styles);
  }