Improve paste selection

Avoid additional erroneous newlines being present when copying the paste content either via mouse selection or Ctrl+a. No newlines are copied by chromium, firefox still inserts a prefix newline. Fixes: #72
matze · Nov 15, 2024 · 2939eee · 2939eee
1 parent 9d7df4f
commit 2939eee
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/src/themes/style.css b/src/themes/style.css
@@ -52,11 +52,13 @@ header {
   justify-content: flex-end;
   align-items: center;
   padding: 0 1em 0 1em;
+  user-select: none;
 }
 
 main {
   flex-grow: 1;
   padding: 1em 2em 1em 2em;
+  user-select: none;
 }
 
 #nav-title {
@@ -234,6 +236,7 @@ td.line-number {
   white-space: pre;
   margin-top: 0px;
   margin-bottom: 0px;
+  user-select: text;
 }
 
 .center {