Add HTML version of lab manual with GitHub Pages deployment#178

Merged

jeremymanning merged 3 commits intomasterfrom

feature/html-version

Dec 5, 2025

Commits on Dec 5, 2025

Add HTML generation via GitHub Actions (closes #104)

jeremymanning
and
claude
committed
Fix table of contents and margin notes in HTML version

jeremymanning
and
claude
committed
Fix GitHub Actions: use native TeX Live instead of Docker action

jeremymanning
and
claude
committed