diff options
Diffstat (limited to 'tvix/docs/mdbook-extra.css')
| -rw-r--r-- | tvix/docs/mdbook-extra.css | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/tvix/docs/mdbook-extra.css b/tvix/docs/mdbook-extra.css new file mode 100644 index 000000000000..7a50fdbeed68 --- /dev/null +++ b/tvix/docs/mdbook-extra.css @@ -0,0 +1,7 @@ +@charset "utf-8"; + +.hljs-meta.prompt_ { + -webkit-user-select: none; + -moz-user-select: none; + user-select: none; +} |