More definitions redesign

Incorporating Annie's changes with mine; split out the JS in
basics1.html into its own basics1.js file.