ppendChild(document.createTextNode(elem));
            types.appendChild(selector);
            if (!(elem in selectors.type)) { selectors.type[elem] = true; }
            selector.addEventListener('click', e => toggle(e, elem, selectors.type));
        });

        // Generate machine selectors
        [...new Set(data.map(elem => elem.machine))].map(elem => {
            let selector = document.createElement('a');
            selector.className = 'selector selector-active';
            selector.appendChil