Export HTML with Style

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