From 2939eee9345e6d02883a01925c24b802e7e96885 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Christian=20G=C3=B6ttsche?= <cgzones@googlemail.com>
Date: Tue, 12 Nov 2024 18:22:32 +0100
Subject: [PATCH] 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
---
 src/themes/style.css | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/themes/style.css b/src/themes/style.css
index 8740844c..d7c18538 100644
--- 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 {