in src/main/resources/res/ui/clipboard.js [24:31]
window.onload = function() {
button = document.querySelector("#copy");
if (button != null) {
button.addEventListener("click", function() {
copyToClipboard(document.querySelector("#output"));
});
}
}