Giters

ryankeleti / ega

amateur translation project of Grothendieck's EGA.

Home Page:https://ryankeleti.com/ega

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

TOC spacing in PDF

thosgood opened this issue · comments

commented

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

commented

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

commented

@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).

commented

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