The website’s own source
Ten files the site invites you to open and read, each with a page of its own: what it does, and the same thing in plain words.
| File | Lines | What it is |
|---|---|---|
website/js/demo-data.js | 335 | GENERATED by tools/site/demo.py |
website/js/legal.js | 201 | The welcome dialog: licence terms, liability waiver, and the disclosure that this project was built with AI assistance |
website/js/markdown.js | 489 | A small Markdown renderer and syntax highlighter |
website/js/prefetch.js | 146 | Fetch, quietly and in the background, the few things a reader is most likely to open next -- so that clicking them is instant instead of a wait |
website/js/repo.js | 392 | Live repository data: stars, description, latest release, and the README rendered with syntax highlighting |
website/js/reveal.js | 125 | Reveal-on-scroll, with one rule that outranks every other consideration: content must never stay invisible. |
website/js/search.js | 496 | Search across the whole repository and this website |
website/js/sessions.js | 219 | The command line, on the page, typed out |
website/js/teleport.js | 310 | Following a link to a section of the page lands on that section's heading, with the heading visible |
website/js/theme.js | 104 | Theme switching |
website/js/verify.js | 211 | In-browser SHA-256 verification for downloaded release archives |
website/js/walkthrough.js | 162 | Every screen of the application as a photograph you pick between, and the command line as a list of jobs rather than a list of flags |
website/css/main.css | 2530 | One stylesheet, no framework, no web fonts, no third-party requests of any kind |
website/css/themes.css | 174 | Colour schemes |