Use navigator.clipboard in Clipboard_CopyTo with execCommand fallback

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>

Author: github-actions[bot]

docs/content/fsdocs-tips.js

@@ -45,12 +45,16 @@ function showTip(evt, name, unique, owner) {
 }
 
 function Clipboard_CopyTo(value) {
-    const tempInput = document.createElement("input");
-    tempInput.value = value;
-    document.body.appendChild(tempInput);
-    tempInput.select();
-    document.execCommand("copy");
-    document.body.removeChild(tempInput);
+    if (navigator.clipboard) {
+        navigator.clipboard.writeText(value);
+    } else {
+        const tempInput = document.createElement("input");
+        tempInput.value = value;
+        document.body.appendChild(tempInput);
+        tempInput.select();
+        document.execCommand("copy");
+        document.body.removeChild(tempInput);
+    }
 }
 
 window.showTip = showTip;