minor fixes to css, fixes to lab, etc