 details_head = document.getElementById('details_head');
        let details_body = document.getElementById('details_body');

        clearElement(details_head);
        clearElement(details_body);

        let filtered_data = data.filter(elem =>
            selectors.system[elem.system] &&
            selectors.machine[elem.machine] &&
            selectors.cluster_size[elem.cluster_size] &&
            elem.tags.filter(type => selectors.type[type]).length > 0);

        let nothing_selected_elem = documen