Better distinct larger titles in Lecture Notes index
Larger titles may take >1 line in the index box. It’s unclear where the title if a section ends/starts
Submitted by Elmer van Chastelet on 16 November 2022 at 13:38
Larger titles may take >1 line in the index box. It’s unclear where the title if a section ends/starts
Submitted by Elmer van Chastelet on 16 November 2022 at 13:38