minor fixes to typo.html and some CSS