updated documentation and regenerated html output