<!DOCTYPE html>
<html>
  <head>
    <base target="_top">
    <title>Text Display</title>
 
  <script>
    function copyToClipboard() {
      var textToCopy = document.getElementById("output").innerText; // テキストの値を取得
      var textArea = document.createElement("textarea"); // 一時的な <input> 要素を作成
      document.body.appendChild(textArea); // <textarea> 要素をドキュメントに追加
      textArea.value = textToCopy; // 値を設定
      textArea.select(); // <textarea> 要素の内容を選択
      document.execCommand("copy"); // コピーを実行
      document.body.removeChild(textArea); // <input> 要素を削除
    }
  </script>
  </head>
  <body>
    <pre id="output"><?= processedText ?></pre>
 
    <button onclick="copyToClipboard()">クリップボードにコピー</button>
  </body>
</html>