Fix over-aggressive hiding of file path in header - Githubissues

leanprover / doc-gen4

Document Generator for Lean 4

Apache License 2.0

62 stars 41 forks source link

Fix over-aggressive hiding of file path in header #176

Closed winstonyin closed 7 months ago

winstonyin commented 7 months ago

Also added a missing <span> tag around "Documentation" in the header.