\idr{...} in headings is rendered poorly in ToC

idris-hackers / software-foundations

Software Foundations in Idris

MIT License

452 stars 34 forks source link

Open yurrriq opened 7 years ago

yurrriq commented 7 years ago

The \subsection hack works well enough.

clayrat commented 7 years ago

So should we just replace it with \subsection everywhere or you still hope to find a proper solution?

yurrriq commented 7 years ago

Both :smile: