about summary refs log tree commit diff
path: root/tvix
diff options
context:
space:
mode:
authortoastal <toastal@posteo.net>2024-06-23T08·49+0700
committertoastal <toastal@posteo.net>2024-06-27T07·16+0000
commitfbce56b8494998868b3fd841b1d43c2e272603c2 (patch)
tree0a262abc56df72ccfdba2240e8bf54a756c55aba /tvix
parentcd485661739ed1d4544498118599869ebd9152e2 (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')
-rw-r--r--tvix/docs/book.toml2
-rw-r--r--tvix/docs/mdbook-extra.css7
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;
+}