').addEventListener('click', e => setTheme('dark'));

    let new_theme = window.localStorage.getItem('theme');
    if (new_theme && new_theme != theme) {
        setTheme(new_theme);
    }

    /// Generate 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 = [...n