web: don't justify the TOC

the1lab / 1lab

A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory

https://1lab.dev

GNU Affero General Public License v3.0

334 stars 63 forks source link

Closed ncfavier closed 2 months ago

ncfavier commented 3 months ago

There's not enough space for that to make sense.

Lavenza commented 3 months ago