More progress towards unified style across the project and fixing a few bugs that have been a PITA for a while now. Rebuilt HTML docs.