Patch from Steve and Philippe to enhance HTML export. Add export.html.styleused and export.html.title.fullpath options. Only used styles exported if export.html.styleused set. Dead code removed. Folding Javascript only exported if folding turned on. Clean ups.
Patch from Steve and Philippe to enhance HTML export.
Add export.html.styleused and export.html.title.fullpath options.
Only used styles exported if export.html.styleused set.
Dead code removed.
Folding Javascript only exported if folding turned on.
Clean ups.

R1dO/scite_clone,R1dO/scite_clone,R1dO/scite_clone,R1dO/scite_clone