spec: Experimental switch from shiroa to typst html bundle export - #944

Draft

RobinJadoul wants to merge 29 commits into

spec/typst-bundle

Commits on Jun 22, 2026

Experimental switch from shiroa to typst html bundle export
RobinJadoul
committed
a44430e

Commits on Jun 25, 2026

CSS and general visual improvements for the bundle export
RobinJadoul
committed
dccbb12
fix border gap left on mobile
RobinJadoul
committed
2d60346
minor styling
RobinJadoul
committed
44d0055

Commits on Aug 18, 2026

Sidenotes as progressive enhancement
RobinJadoul
committed
0594b32
Remove sidenotes from a11y tree and tabstops without killing the links
RobinJadoul
committed
8c0e026
Asides
RobinJadoul
committed
d3105ba

Commits on Aug 19, 2026

Commits on Aug 20, 2026

Commits on Aug 21, 2026

Commits on Aug 24, 2026

Rewrite limbs corollary so that alignment works in both pdf and web
RobinJadoul
committed
f980015

Commits on Aug 26, 2026

subdirectories for assets and chapters
RobinJadoul
committed
cf18f03
code and lemma background
RobinJadoul
committed
76cdf9f
font size
RobinJadoul
committed
9ff55b9
Space after mobile nav hamburger
RobinJadoul
committed
7c17dfe
Better table column widths
RobinJadoul
committed
7609098
Styling for definition lists
RobinJadoul
committed
aa11bf1
Some more TODOs
RobinJadoul
committed
7c22f0f

Commits on Aug 27, 2026

Update spec/assets/style.css

RobinJadoul
and
erik-3milabs
authored
4f8001e

Commits on Aug 28, 2026

Manual theme toggle on top of system default
RobinJadoul
committed
ee2bfca