Added prettynav html feature, and documented prettynav