/* Event listener function for the COPY BUTTON */ document.addEventListener("DOMContentLoaded", function () { document.querySelectorAll("pre.src").forEach(function (codeBlock) { const button = document.createElement("button"); button.innerText = "Copy"; button.className = "copy-btn"; // Append button inside
	codeBlock.appendChild(button);

	button.addEventListener("click", function () {
	    const text = codeBlock.innerText.replace(button.innerText, ""); // exclude button text
	    navigator.clipboard.writeText(text.trim()).then(() => {
		button.innerText = "Copied!";
		setTimeout(() => (button.innerText = "Copy"), 1500);
	    });
	});
    });
});