Css updates#273

Merged

masinter merged 3 commits intomainfrom

Mar 26, 2025

Commits on Mar 22, 2025

Update icon.svg
stumbo
committed

Commits on Mar 25, 2025

Merge branch 'main' of github.com:Interlisp/interlisp.github.io
stumbo
committed

Commits on Mar 26, 2025

Update css to make navbar more responsive
stumbo
committed