Replace ZeroClipboard with clipboard.js.

Things left: 1. clear the selection after copy 2. add messages for success and error
2026-06-17 19:21:23 +03:00 · 2015-10-14 00:50:42 +03:00
parent e544bf4cf8
commit c343b9f59d
8 changed files with 32 additions and 53 deletions
@@ -75,7 +75,7 @@
  }

  + .highlight,
-  + .zero-clipboard + .highlight {
+  + .clipboard + .highlight {
    margin-top: 0;
  }