Add option to override CSS file used for the output window.
Also copy the system-wide CSS file to a sibling of the output html file.