HTMLChangeCSS: Change the current CSS file for dynamic use of package
Description
When using in dynamic mode, a call to HTMLStart copy the R2HTML.css file to the specified output directory (temp by default). HTMLChangeCSS copy a new CSS file to this destination (or to working directory). Then, the produced HTML files are now based on this new CSS.