/* copy code to clipboard */
function CopyToClipboard(pre) {
  pre.style.filter = 'invert(1)';
  navigator.clipboard.writeText(pre.firstElementChild.innerHTML);
  setTimeout(function() {
    pre.style.filter = 'invert(0)';
  }, 100);
}