As I said, I'm new to all this, and especially am clueless about javascript.
I'd forgotten this section at the bottom of the default html file:
<!-- Bootstrap core JavaScript
================================================== -->
<!-- Placed at the end of the document so the pages load faster -->
<script src="Theme%20Template%20for%20Bootstrap_files/jquery.js"></script>
<script src="Theme%20Template%20for%20Bootstrap_files/bootstrap.js"></script>
<script src="Theme%20Template%20for%20Bootstrap_files/docs.js"></script>
<!-- IE10 viewport hack for Surface/desktop Windows 8 bug -->
<script src="Theme%20Template%20for%20Bootstrap_files/ie10-viewport-bug-workaround.js"></script>
There's my answer and the solution to my problem.
Live and learn.
Tom