try page-toc in place of navigator

diff --git a/book.json b/book.json
index 555d36758016b70a71ffb71db2aa3fe2d77675c6..f994114348f583f89910610d0e1bd65f301f63c6 100644 (file)
--- 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"
     ],