a = jsonData;
                console.log('Loaded', data.length, 'query results from results.json');
                updateLoadingProgress();
            })
            .catch(error => {
                console.error('Error loading results:', error);
                document.getElementById('loading-text').textContent = 'Error loading results.json';
            });
    </script>
</head>
<body>

<div class="header stick-left">
    <span class="nowrap themes"><span id="toggle-dark">ðŸŒš</span><span id="tog