Skip to content

Add playground to nav, open-in-playground buttons, deps migration#17

Merged
kollhof merged 3 commits into
mainfrom
playground-nav-and-links
Mar 24, 2026
Merged

Add playground to nav, open-in-playground buttons, deps migration#17
kollhof merged 3 commits into
mainfrom
playground-nav-and-links

Conversation

@kollhof

@kollhof kollhof commented Mar 24, 2026

Copy link
Copy Markdown
Member

Summary

  • Add playground link to the navigation bar alongside docs
  • Fink code blocks get a subtle bird icon (top-right) that opens the snippet in the playground, with source encoded at build time (deflate-raw + base62)
  • Move all downloaded dependencies from build/assets/ to .deps/ (gitignored)
  • Add brand as a release dependency (v1.0.0) — build generates logo, favicons (downscaled via image crate), and social image from it
  • Remove brand assets from static/ — now sourced from .deps/brand/
  • Pin fink crate to tag = "v0.1.0" instead of branch = "main"
  • Add check-deps command that queries GitHub API for newer releases

Test plan

  • Verify playground link appears in nav and works
  • Verify open-in-playground buttons on code blocks encode/decode correctly
  • Run cargo run -- build — brand assets generated in build/site/
  • Run cargo run -- check-deps — all deps reported
  • Run cargo run -- update-deps — fetches to .deps/

kollhof added 3 commits March 24, 2026 06:57
…ocks

Add playground link to the navigation bar alongside docs. Fink code
blocks now have a subtle icon in the top-right corner that opens the
snippet in the playground. Source is encoded at build time using the
same deflate-raw + base62 scheme the playground uses for URL hashes.
Swap generic external-link icon for the fink bird SVG with original
beak colour. Set default opacity to 0.2 for better visibility.
- Move asset dependencies from build/assets/ to .deps/ (gitignored)
- Add brand as a release dependency (v1.0.0), build generates logo,
  favicons (downscaled via image crate), and social image from it
- Remove brand assets from static/ — now sourced from .deps/brand/
- Pin fink crate to tag v0.1.0 instead of branch main
- Add check-deps command that queries GitHub API for newer releases
  of all dependencies (git crates and asset deps)
- Clean up stale playground gitignore entries
- Update CLAUDE.md to document new project layout
@kollhof kollhof merged commit e0d8961 into main Mar 24, 2026
4 checks passed
@kollhof kollhof deleted the playground-nav-and-links branch March 24, 2026 10:32
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant