HTML Help 2 Live Documenter export configuration file in the default style