prevent content in source toolbox from being selected

mojavelinux · mojavelinux · commit ea26b941a9b2 · 2023-07-18T00:36:25.000-06:00
diff --git a/src/css/doc.css b/src/css/doc.css
@@ -766,6 +766,7 @@
   font-family: var(--body-font-family);
   font-size: calc(13 / var(--rem-base) * 1rem);
   line-height: 1;
+  user-select: none;
   white-space: nowrap;
   z-index: 1;
 }

Original file line number	Diff line number	Diff line change
`@@ -766,6 +766,7 @@`
`766`	`766`	`font-family: var(--body-font-family);`
`767`	`767`	`font-size: calc(13 / var(--rem-base) * 1rem);`
`768`	`768`	`line-height: 1;`
	`769`	`+ user-select: none;`
`769`	`770`	`white-space: nowrap;`
`770`	`771`	`z-index: 1;`
`771`	`772`	`}`