fix(html): make so line number not copied (#1717)

* Make so line number not copied * Update samples for failing tests * Add directive to source CSS
nedbat · Dec 19, 2023 · 8dc5d3d · 8dc5d3d
1 parent 8841bdd
commit 8dc5d3d
Show file tree

Hide file tree

Showing 5 changed files with 5 additions and 4 deletions.
diff --git 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; } }
 

diff --git 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 {

diff --git 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
@@ -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
@@ -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; } }