Added the right html doctype to the offline manual.