Use Bootstrap CDN for Bootstrap files in docs.html