chore: rename Dirs

2023-01-20 11:30:04 +00:00
parent ab1efc2e2e
commit 3533f26e4e
90 changed files with 0 additions and 0 deletions
--- a/src/Element/Copy.css
+++ b/src/Element/Copy.css
@ -0,0 +1,15 @@
+.copy {
+    user-select: none;
+    cursor: pointer;
+    -webkit-tap-highlight-color: transparent;
+}
+
+.copy .body {
+    font-family: monospace;
+    font-size: 14px;
+    background: var(--gray-secondary);
+    color: var(--font-color);
+    padding: 2px 4px;
+    border-radius: 10px;
+    margin: 0 4px 0 0;
+}