Minor changes to the Bootstrap docset