Function setupThemeObserver

website/script/benchmarks.js:298–314

()

}

function setupThemeObserver() {
	const mediaQuery = window.matchMedia("(prefers-color-scheme: dark)");

	mediaQuery.addEventListener("change", (e) => {
		charts.forEach((chart) => {
			if (chart) {
				chart.updateOptions({
					theme: getChartTheme(),
					grid: {
						borderColor: getGridBorderColor(),
					},
					chart: getChartOptions(),
				});
			}
		});
	});
}

// --- Adaptive sampling ---