diff options
author | Matthias Geier <Matthias.Geier@gmail.com> | 2020-10-19 15:31:25 +0300 |
---|---|---|
committer | Matthias Geier <Matthias.Geier@gmail.com> | 2020-10-24 16:10:36 +0300 |
commit | 5a866d5e7c57883d647d1d5bfa08c80cec923c73 (patch) | |
tree | 4f4d26dcfbe5d1854009d19e51346b6bcb7ebfc0 /sphinx/themes | |
parent | 3b85187ffa3401e88582073c23188c147857a8a3 (diff) |
basic CSS: disable "user-select" on span.linenos
Diffstat (limited to 'sphinx/themes')
-rw-r--r-- | sphinx/themes/basic/static/basic.css_t | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/sphinx/themes/basic/static/basic.css_t b/sphinx/themes/basic/static/basic.css_t index 0a71a7a91..38b9fb553 100644 --- a/sphinx/themes/basic/static/basic.css_t +++ b/sphinx/themes/basic/static/basic.css_t @@ -764,6 +764,7 @@ div.code-block-caption code { } table.highlighttable td.linenos, +span.linenos, div.doctest > div.highlight span.gp { /* gp: Generic.Prompt */ user-select: none; } |