A few more tweaks to the div-time lab.