try page-toc in place of navigator

7 years ago · d6d14b6794
parent 10b389f79c
commit d6d14b6794
1 changed files with 1 additions and 1 deletions
--- a/book.json
+++ b/book.json
@ -5,11 +5,11 @@
    "plugins" : [
      "anchors",
      "edit-link",
-      "navigator",
      "forkmegithub",
      "git-author",
      "hints",
      "numbered-headings",
+      "page-toc",
      "terminal",
      "toolbar"
    ],