improved source code view in the documentation

Shark-ML · May 24, 2024 · 1d988d9 · 1d988d9
1 parent 10b62d7
commit 1d988d9
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/docs/doxygen_pages/css/besser.css b/docs/doxygen_pages/css/besser.css
@@ -506,7 +506,8 @@ span.lineno {
     text-align: right;
     border-right: 2px solid #0F0;
     background-color: #E8E8E8;
-        white-space: pre;
+    white-space: pre;
+    user-select: none;
 }
 span.lineno a {
     background-color: #D8D8D8;