(idx < 0) document.title += '*';
      } else {
        if (idx >= 0) document.title = document.title.slice(0, idx);
      }
    });

    // This function provides a common style for most of the TextBlocks.
    // Some of these values may be overridden in a particular TextBlock.
    function textStyle(obj) {
      return Object.assign({ font: '9pt Segoe UI,sans-serif' }, obj || {});
    }

    // This converter is used by the Picture.
    function findHeadShot(pic) {
      if (!pic) return 'images/user.svg'