1 files changed, 1 insertions, 0 deletions
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;