Added export with style feature, which allows for optional syntax highlighting in exported HTML files