doc: first pass at making html manual look decent