diff options
Diffstat (limited to 'docs/_static')
| -rw-r--r-- | docs/_static/style.css | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/docs/_static/style.css b/docs/_static/style.css index 6cd061fa..71e2cbe8 100644 --- a/docs/_static/style.css +++ b/docs/_static/style.css @@ -727,6 +727,10 @@ p.admonition-title { margin: 0 -0.8rem; padding: 0.4rem 0.6rem 0.4rem 2.5rem; position: relative; + -moz-user-select: none; + -webkit-user-select: none; + -ms-user-select: none; + user-select: none; } p.admonition-title::before { |