Override the default theme page.html of gitbook to fix the issue at https://github.com/GitbookIO/theme-default/pull/80