search

ryankeleti / ega

amateur translation project of Grothendieck's EGA.
https://ryankeleti.com/ega
317 stars 33 forks source link

TOC spacing in PDF #157

Closed thosgood closed 4 years ago

thosgood commented 4 years ago

can't remember how table-of-contents formatting is currently controlled, but we need to sort out some spacing issues. here's the TOC from EGA I:

Screenshot 2020-06-30 at 19 04 17
ryankeleti commented 4 years ago

Ah yeah I noticed that, I believe due to this. I believe the spacing needs to be increased a bit more

ryankeleti commented 4 years ago

@thosgood how does PR #158 look? I'm not sure the uniform alignment is the best, but there is no more overflow with this (and I think this prevents further overflow in the future, given the length of section numbers).

thosgood commented 4 years ago

seems more than good enough, and we can always come back to small formatting things like this later :-)