diff --git a/searx/static/themes/oscar/src/less/logicodev/pygments.less b/searx/static/themes/oscar/src/less/logicodev/pygments.less index 301c94e57..cc2f92356 100644 --- a/searx/static/themes/oscar/src/less/logicodev/pygments.less +++ b/searx/static/themes/oscar/src/less/logicodev/pygments.less @@ -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 { @@ -11,7 +11,7 @@ -ms-user-select: none; user-select: none; cursor: default; - + &::selection { background: transparent; /* WebKit/Blink Browsers */ } diff --git a/searx/static/themes/oscar/src/less/pointhi/pygments.less b/searx/static/themes/oscar/src/less/pointhi/pygments.less index 25a921c0e..e5ec9b8d9 100644 --- a/searx/static/themes/oscar/src/less/pointhi/pygments.less +++ b/searx/static/themes/oscar/src/less/pointhi/pygments.less @@ -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 { @@ -11,7 +11,7 @@ -ms-user-select: none; user-select: none; cursor: default; - + &::selection { background: transparent; /* WebKit/Blink Browsers */ } diff --git a/searx/static/themes/simple/less/pygments.less b/searx/static/themes/simple/less/pygments.less index 25a921c0e..e5ec9b8d9 100644 --- a/searx/static/themes/simple/less/pygments.less +++ b/searx/static/themes/simple/less/pygments.less @@ -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 { @@ -11,7 +11,7 @@ -ms-user-select: none; user-select: none; cursor: default; - + &::selection { background: transparent; /* WebKit/Blink Browsers */ }