|
@@ -1,6 +1,6 @@
|
|
/*
|
|
/*
|
|
- this file is generated automatically by searx_extra/update/update_pygments.py
|
|
|
|
- using pygments version 2.8.0
|
|
|
|
|
|
+ this file is generated automatically by searx_extra/update/update_pygments.py
|
|
|
|
+ using pygments version 2.8.1
|
|
*/
|
|
*/
|
|
|
|
|
|
.code-highlight .linenos {
|
|
.code-highlight .linenos {
|
|
@@ -11,7 +11,7 @@
|
|
-ms-user-select: none;
|
|
-ms-user-select: none;
|
|
user-select: none;
|
|
user-select: none;
|
|
cursor: default;
|
|
cursor: default;
|
|
-
|
|
|
|
|
|
+
|
|
&::selection {
|
|
&::selection {
|
|
background: transparent; /* WebKit/Blink Browsers */
|
|
background: transparent; /* WebKit/Blink Browsers */
|
|
}
|
|
}
|