function setTheme(theme) {
	localStorage.setItem("theme",theme);
	var   root      = document.querySelector(":root");
	var   rootstyle = getComputedStyle(root);
	const black     = rootstyle.getPropertyValue("--black");
	const darkgrey  = rootstyle.getPropertyValue("--darkgrey");
	const lightgrey = rootstyle.getPropertyValue("--lightgrey");
	const white     = rootstyle.getPropertyValue("--white");
	var   bodyColour;
	var   backgroundColour;
	var   foregroundColour;
	if (theme === "dark") {
		bodyColour       = black;
		backgroundColour = darkgrey;
		foregroundColour = white;
	}
	else if (theme === "light") {
		bodyColour       = lightgrey;
		backgroundColour = white;
		foregroundColour = black;
	}
	else {
		setTheme("dark");
		return;
	}
	root.style.setProperty("--bodyColour",      bodyColour);
	root.style.setProperty("--backgroundColour",backgroundColour);
	root.style.setProperty("--foregroundColour",foregroundColour);
}