Add copy-to-clipboard button to meta page

Fixes #42.
2020-04-05 18:14:02 +02:00
parent a766d5d596
commit 1dd0d17ba5
3 changed files with 54 additions and 0 deletions
--- a/assets/css/main.css
+++ b/assets/css/main.css
@@ -19,4 +19,12 @@ body {

 pre {
    padding-left: 4ex; /* approx 4 monospaced spaces */
+}
+
+.success {
+    color: #008000;
+}
+
+.fail {
+    color: #800000;
 }