diff options
| author | toastal <toastal@posteo.net> | 2024-06-23T08·49+0700 |
|---|---|---|
| committer | toastal <toastal@posteo.net> | 2024-06-27T07·16+0000 |
| commit | fbce56b8494998868b3fd841b1d43c2e272603c2 (patch) | |
| tree | 0a262abc56df72ccfdba2240e8bf54a756c55aba /tvix/docs | |
| parent | cd485661739ed1d4544498118599869ebd9152e2 (diff) | |
docs: prompts in shell sessions shouldn’t be selectable r/8316
these just indicate the start of the prompt by convention & if the user is root or not with `#` & `$` respectively Change-Id: Id65f5f879b067ee96715b3e7dc63f68c7ad791b8 Reviewed-on: https://cl.tvl.fyi/c/depot/+/11868 Reviewed-by: flokli <flokli@flokli.de> Tested-by: BuildkiteCI
Diffstat (limited to 'tvix/docs')
| -rw-r--r-- | tvix/docs/book.toml | 2 | ||||
| -rw-r--r-- | tvix/docs/mdbook-extra.css | 7 |
2 files changed, 8 insertions, 1 deletions
diff --git a/tvix/docs/book.toml b/tvix/docs/book.toml index a5dacc46ed69..093b73b8e820 100644 --- a/tvix/docs/book.toml +++ b/tvix/docs/book.toml @@ -22,4 +22,4 @@ after = ["links"] # ensure `{{#include}}` also gets processed [output] [output.html] -additional-css = ["./mdbook-admonish.css"] +additional-css = ["./mdbook-admonish.css", "./mdbook-extra.css"] 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; +} |