fixup! restyle

static/sript/copy-mono.js

@@ -0,0 +1,7 @@
+document.addEventListener('DOMContentLoaded', () => {
+  document.querySelectorAll('.mono').forEach(element => {
+    element.addEventListener('click', async () => {
+      await navigator.clipboard.writeText(element.textContent);
+    });
+  });
+});