summaryrefslogtreecommitdiff
path: root/docs/site/media
diff options
context:
space:
mode:
authorGabriel Schneider <[email protected]>2026-10-01 14:03:11 -0300
committerGabriel Schneider <[email protected]>2026-10-01 15:24:04 -0300
commit3b186b7724dd3ca0ff67c3c8a0f9823f0f161fc5 (patch)
treec331f529df447bbeee56cfa21e7f7d3438bcf62b /docs/site/media
parent54948bf22fb891bd31fcd5dc33e0bce7552fe1d4 (diff)
downloadpardes-3b186b7724dd3ca0ff67c3c8a0f9823f0f161fc5.tar.gz
pardes-3b186b7724dd3ca0ff67c3c8a0f9823f0f161fc5.zip
The landing's words jump to their recordings, the casts open on their telling frame, and #mode-box draws the box
Each recording on the landing has an anchor (rec-<name>); the "What's in it" words jump to theirs (Terminals, PDFs, Images, Diff review, Scripting) and the recording's caption ends in a link to the docs; Language servers and Themes, with no recording, link to the docs. A cast's `poster_at` in casts.toml picks the frame it shows until it plays: live-text at the error, terminals at the copied line, petscii on the Mandelbrot; the casts wait for the in-view script to play them. A caption may hold markup: the 9P clip links 9ns to setup. The downloads give their size, read from project.download, and the footer links the changes (project.changes). The guide's annotated pane has alt text, pin 1 beside the workspace tag rather than on Changelog, and pin 5 on the body's text; pin positions are written with repr, since str puts a U+2212 minus CSS cannot read. #mode-box(mark, unsaved:) draws a pane's box as it looks, in print and HTML. Co-Authored-By: Claude Opus 5.5 <[email protected]>
Diffstat (limited to 'docs/site/media')
-rw-r--r--docs/site/media/clips.toml4
1 files changed, 2 insertions, 2 deletions
diff --git a/docs/site/media/clips.toml b/docs/site/media/clips.toml
index 11f6e8f3..37dc9db9 100644
--- a/docs/site/media/clips.toml
+++ b/docs/site/media/clips.toml
@@ -1,6 +1,6 @@
# The landing page's recordings, in the order shown. For each clip the
# site ships media/<name>.webm and media/<name>.mp4, with media/<name>.png
-# as the poster. `landing = false` keeps a clip off the landing (the
+# as the poster; a caption may hold markup (#link). `landing = false` keeps a clip off the landing (the
# terminal casts show the same) while its files stay for the chapters. While `ready` is false the clip shows placeholder.svg and
# no video, so the site builds before a recording exists.
@@ -32,7 +32,7 @@ landing = false
[[clip]]
name = "scripting-over-9p"
-caption = "A shell under 9ns, where the session is a directory: ls, cat, echo."
+caption = "A shell under #link(\"setup.html#ninens\")[9ns], where the session is a directory: ls, cat, echo."
ready = true
[[clip]]