= custombot.toLowerCase().replace(/[^a-z0-9,_]+/gi, "");
			custombot = custombot.split(",");
		}
	}

	var doNotShowBot = false;
	if (urlParams.has("hidebots")){
		doNotShowBot = true;
	}
	
	let width = 48;
	
	if (urlParams.has("scale")){
		scale = urlParams.get("scale") || 1.0;
		scale = parseFloat(scale);
		width = parseInt(48 * scale);
		document.documentElement.style.setProperty("--width", width+"px");
		let fontsize = parseInt(240 * scale);
		document.documentElement.style.setProperty