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