Repository navigation

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

Merged

RobinJadoul merged 31 commits into

spec/mainfrom

spec/typst-bundle

Sep 7, 2026

Merged

spec: Experimental switch from shiroa to typst html bundle export#944
RobinJadoul merged 31 commits into
spec/mainfrom
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
- Striped table rows for decode
  RobinJadoul
  committed
  2c62796
- Mark current page in nav as current page for a11y too
  RobinJadoul
  committed
  24a1f9c
- Move nav after main in html order for nicer tab order
  RobinJadoul
  committed
  fdfee15
- Responsiveness work
  RobinJadoul
  committed
  2b74419
- Add chapter title to the header bar
  RobinJadoul
  committed
  7b85eda
Commits on Aug 20, 2026
- Fonts
  RobinJadoul
  committed
  01dd856
- accessilibity: role on prev/next nav buttons, put the title in a <header>, leave a todo about table headers
  RobinJadoul
  committed
  ad7ad58
Commits on Aug 21, 2026
- Merge spec/main into spec/typst-bundle and solve some of the most obvious problems
  RobinJadoul
  committed
  6e070cf
- Merge branch 'spec/main' into spec/typst-bundle
  RobinJadoul
  committed
  c5be459
- Update colors for 3MI brand and design guidelines
  RobinJadoul
  committed
  8014fbd
- Make theorem boxes better and eliminate warnings
  RobinJadoul
  committed
  facfdfc
- lemma whitespace improvements
  RobinJadoul
  committed
  3542ab5
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
Commits on Sep 3, 2026
- Add todo item re emoji fonts
  RobinJadoul
  committed
  6096ac6
Commits on Sep 7, 2026
- Math typo
  RobinJadoul
  committed
  577cf90

Commits

Commits on Jun 22, 2026

Commits on Jun 25, 2026

Commits on Aug 18, 2026

Commits on Aug 19, 2026

Commits on Aug 20, 2026

Commits on Aug 21, 2026

Commits on Aug 24, 2026

Commits on Aug 26, 2026

Commits on Aug 27, 2026

Commits on Aug 28, 2026

Commits on Sep 3, 2026

Commits on Sep 7, 2026