From 1ee92356b7c78f99f2256600b362e742499bfa82 Mon Sep 17 00:00:00 2001
From: Robert Harris <30379153+enrh@users.noreply.github.com>
Date: Mon, 18 Dec 2023 00:27:38 +0000
Subject: [PATCH 1/3] Make so line number not copied

---
 coverage/htmlfiles/style.css | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/coverage/htmlfiles/style.css b/coverage/htmlfiles/style.css
index 11b24c4e7..2555fdfee 100644
--- a/coverage/htmlfiles/style.css
+++ b/coverage/htmlfiles/style.css
@@ -148,7 +148,7 @@ kbd { border: 1px solid black; border-color: #888 #333 #333 #888; padding: .1em
 
 #source p * { box-sizing: border-box; }
 
-#source p .n { float: left; text-align: right; width: 3.5rem; box-sizing: border-box; margin-left: -3.5rem; padding-right: 1em; color: #999; }
+#source p .n { float: left; text-align: right; width: 3.5rem; box-sizing: border-box; margin-left: -3.5rem; padding-right: 1em; color: #999; user-select: none; }
 
 @media (prefers-color-scheme: dark) { #source p .n { color: #777; } }
 

From 20cb202ca7db78f3414676d1e79541f61e63610d Mon Sep 17 00:00:00 2001
From: Robert Harris <30379153+enrh@users.noreply.github.com>
Date: Mon, 18 Dec 2023 00:55:27 +0000
Subject: [PATCH 2/3] Update samples for failing tests

---
 doc/sample_html/style.css         | 2 +-
 tests/gold/html/styled/style.css  | 2 +-
 tests/gold/html/support/style.css | 2 +-
 3 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/doc/sample_html/style.css b/doc/sample_html/style.css
index 11b24c4e7..2555fdfee 100644
--- a/doc/sample_html/style.css
+++ b/doc/sample_html/style.css
@@ -148,7 +148,7 @@ kbd { border: 1px solid black; border-color: #888 #333 #333 #888; padding: .1em
 
 #source p * { box-sizing: border-box; }
 
-#source p .n { float: left; text-align: right; width: 3.5rem; box-sizing: border-box; margin-left: -3.5rem; padding-right: 1em; color: #999; }
+#source p .n { float: left; text-align: right; width: 3.5rem; box-sizing: border-box; margin-left: -3.5rem; padding-right: 1em; color: #999; user-select: none; }
 
 @media (prefers-color-scheme: dark) { #source p .n { color: #777; } }
 
diff --git a/tests/gold/html/styled/style.css b/tests/gold/html/styled/style.css
index 11b24c4e7..2555fdfee 100644
--- a/tests/gold/html/styled/style.css
+++ b/tests/gold/html/styled/style.css
@@ -148,7 +148,7 @@ kbd { border: 1px solid black; border-color: #888 #333 #333 #888; padding: .1em
 
 #source p * { box-sizing: border-box; }
 
-#source p .n { float: left; text-align: right; width: 3.5rem; box-sizing: border-box; margin-left: -3.5rem; padding-right: 1em; color: #999; }
+#source p .n { float: left; text-align: right; width: 3.5rem; box-sizing: border-box; margin-left: -3.5rem; padding-right: 1em; color: #999; user-select: none; }
 
 @media (prefers-color-scheme: dark) { #source p .n { color: #777; } }
 
diff --git a/tests/gold/html/support/style.css b/tests/gold/html/support/style.css
index 11b24c4e7..2555fdfee 100644
--- a/tests/gold/html/support/style.css
+++ b/tests/gold/html/support/style.css
@@ -148,7 +148,7 @@ kbd { border: 1px solid black; border-color: #888 #333 #333 #888; padding: .1em
 
 #source p * { box-sizing: border-box; }
 
-#source p .n { float: left; text-align: right; width: 3.5rem; box-sizing: border-box; margin-left: -3.5rem; padding-right: 1em; color: #999; }
+#source p .n { float: left; text-align: right; width: 3.5rem; box-sizing: border-box; margin-left: -3.5rem; padding-right: 1em; color: #999; user-select: none; }
 
 @media (prefers-color-scheme: dark) { #source p .n { color: #777; } }
 

From ef5365ab56e5f85664ce57608bd62314cde633a4 Mon Sep 17 00:00:00 2001
From: Robert Harris <30379153+enrh@users.noreply.github.com>
Date: Tue, 19 Dec 2023 01:45:42 +0000
Subject: [PATCH 3/3] Add directive to source CSS

---
 coverage/htmlfiles/style.scss | 1 +
 1 file changed, 1 insertion(+)

diff --git a/coverage/htmlfiles/style.scss b/coverage/htmlfiles/style.scss
index b1465154e..5b6cf373a 100644
--- a/coverage/htmlfiles/style.scss
+++ b/coverage/htmlfiles/style.scss
@@ -418,6 +418,7 @@ $border-indicator-width: .2em;
             margin-left: -$left-gutter;
             padding-right: 1em;
             color: $light-gray4;
+            user-select: none;
             @include color-dark($dark-gray4);
 
             &.highlight {