/* copy code to clipboard */
function CopyToClipboard(element) {
  navigator.clipboard.writeText(element.firstElementChild.innerHTML);
}