From f12ebdfae4d9e7607244621af8f029bc529560c1 Mon Sep 17 00:00:00 2001 From: Arthur Volant Date: Fri, 16 Apr 2021 21:31:52 +0200 Subject: [PATCH] Add div.highlight --- sphinx/themes/basic/static/basic.css_t | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/sphinx/themes/basic/static/basic.css_t b/sphinx/themes/basic/static/basic.css_t index 5c1db3b84..e5780f2d0 100644 --- a/sphinx/themes/basic/static/basic.css_t +++ b/sphinx/themes/basic/static/basic.css_t @@ -820,7 +820,7 @@ div.code-block-caption code { /* From https://stackoverflow.com/a/34372191 */ table.highlighttable td.linenos, span.linenos, -span.gp { /* gp: Generic.Prompt */ +div.highlight span.gp { /* gp: Generic.Prompt */ user-select: none; -webkit-user-select: text; /* Safari fallback only */ -webkit-user-select: none; /* Chrome/Safari */