This adds new "Table of Contents" pages, for each chapter of the database, displaying the chapter contents with 2 levels of depth.
This also adds a breadcrumb at the top of all pages, allowing navigation to any parent chapter.
This branch depends on PR#56 of metamath-knife.
The following issues remain with this PR:
chapter comments are not displayed (not yet parsed/stored by metamath-knife),
chapter numbering is not yet done,
the tree search algorithm to find the current position in the tree of chapters still has an issue.
Also, "next" and "previous" links, are still not yet implemented.
This adds new "Table of Contents" pages, for each chapter of the database, displaying the chapter contents with 2 levels of depth. This also adds a breadcrumb at the top of all pages, allowing navigation to any parent chapter. This branch depends on PR#56 of metamath-knife.
The following issues remain with this PR:
Also, "next" and "previous" links, are still not yet implemented.