added <pre> tags to userdocsRevamp.html