Remove whitespaces in docs (html).