search

PatrickMassot / leanblueprint

plasTeX plugin to build formalization blueprints.
Apache License 2.0
136 stars 23 forks source link

`\ref` in chapter names causes newline in sidebar #30

Open fpvandoorn opened 1 week ago

fpvandoorn commented 1 week ago

(probably an upstream issue, but I'm not sure.)