Bug in bootstrap.min.js breaks book nav tree, so do not add bootstrap.min.js on book pages