Add option to override CSS file used for the output window.

Authored by tfry on Mar 11 2016, 8:16 PM.

Description

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.

Details

Committed
tfryMar 11 2016, 8:16 PM
Parents
R5:9b67fc07a461: Place manually added plugimaps at the end of the list, initially.
Branches
Unknown
Tags
Unknown