Function createNavEntry

js/navigation.js:262–275

(id, href, className, text, eventHandler)

    // wrapper which does not fit this single-link element.
    buildOverviewButton: function () {
        const createNavEntry = (id, href, className, text, eventHandler) => {
            let div = document.createElement('div');
            div.classList.add('app-navigation-entry');

            let a = document.createElement('a');
            a.id = id;
            a.setAttribute('href', href);
            a.classList.add(className);
            a.innerText = text;
            if (eventHandler) a.addEventListener('click', eventHandler);

            div.appendChild(a);
            return div;
        };

        let li = document.createElement('li');
        li.style.marginBottom = "20px";