less: Wrap bootstrap in an appropriate tag so that we can use it on docs.moodle.org before the theme is upgraded