More work on div-time tutorial.