general/clipboard: use textContent...HEADmain

... and avoid having html entity encoded characters in clipboard.

1 files changed, 1 insertions, 1 deletions

diff --git a/general/clipboard.js b/general/clipboard.js
index 30c31346..cbcfa4ad 100644
--- a/general/clipboard.js
+++ b/general/clipboard.js
@@ -1,7 +1,7 @@
 /* copy code to clipboard */
 function CopyToClipboard(element) {
   element.style.filter = 'invert(1)';
-  navigator.clipboard.writeText(element.firstElementChild.innerHTML);
+  navigator.clipboard.writeText(element.firstElementChild.textContent);
   setTimeout(function() {
     element.style.filter = 'invert(0)';
   }, 100);