diff options
| author | Gabriel Schneider <[email protected]> | 2026-10-01 14:03:11 -0300 |
|---|---|---|
| committer | Gabriel Schneider <[email protected]> | 2026-10-01 15:24:04 -0300 |
| commit | 3b186b7724dd3ca0ff67c3c8a0f9823f0f161fc5 (patch) | |
| tree | c331f529df447bbeee56cfa21e7f7d3438bcf62b /docs/site/media | |
| parent | 54948bf22fb891bd31fcd5dc33e0bce7552fe1d4 (diff) | |
| download | pardes-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.toml | 4 |
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]] |
