From 1921eb52bfc198ea1e4e75c607cd532eb40dfb6f Mon Sep 17 00:00:00 2001
From: Marshall Lochbaum <mwlochbaum@gmail.com>
Date: Mon, 22 Nov 2021 12:17:49 -0500
Subject: Make .codeCover characters unselectable

---
 docs/style.css | 1 +
 1 file changed, 1 insertion(+)

(limited to 'docs')

diff --git a/docs/style.css b/docs/style.css
index 4c8eb51b..9adb848e 100644
--- a/docs/style.css
+++ b/docs/style.css
@@ -102,6 +102,7 @@ pre, code, textarea, .kb {
 }
 .codeCover {
   stroke: #e3e7e7;
+  user-select: none;
 }
 code {
   padding: 0.15em 0.1em 0.05em;
-- 
cgit v1.2.3