'use strict'; require('../common'); const fc = require('fast-check'); function query(selector) { if (selector.startsWith('#')) { return document.getElementById(selector.slice(1)); } return document.querySelector(selector); } /** * builds the navigation with the e-mail button and its confirmation dialog, as * in the bootstrap5 template * * @param {boolean} withShortUrl - add the link of a shortened document URL */ function buildEmailDom(withShortUrl) { document.documentElement.innerHTML = '' + '' + (withShortUrl ? '