= theme) {
            setTheme(new_theme);
        }

        // Initialize selectors
        let systems = document.getElementById('selectors_system');
        let types = document.getElementById('selectors_type');
        let machines = document.getElementById('selectors_machine');
        let cluster_sizes = document.getElementById('selectors_cluster_size');

        let unique_systems = [...new Set(data.map(elem => elem.system))];

        // Generate system selectors
        unique_systems.map(elem =>