ection").checked;
            const slope = document.getElementById("slope").checked;
            const mapbox_token = document.getElementById("mapbox-token").value;
            const mapbox_style = document.getElementById("mapbox-style").value;
            const source = document.getElementById("sources").value;

            var query = '?state=%7B';
            if (file_ids.length) {
                query += '%22ids%22:%5B';
                const files = file_ids.split(',');
                for (var i=0; 