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