quick style fixes to homepage and manual