Easier clone command selection

1 files changed, 18 insertions, 0 deletions

diff --git a/public/static/style.css b/public/static/style.css
index 1d277b7..ad61fca 100644
--- a/public/static/style.css
+++ b/public/static/style.css
@@ -148,6 +148,24 @@ body > footer {
   font-weight: bold;
 }
 
+.clone {
+  margin: .5em 0;
+
+  code {
+    /* Each command is a distinct block so that selecting doesn't pick up a
+     * trailing newline. */
+    display: block;
+    width: fit-content;
+    white-space: pre;
+    user-select: all;
+    cursor: default;
+
+    &:hover {
+      background: var(--shade-background);
+    }
+  }
+}
+
 .avatar {
   float: right;
   clip-path: circle();