Would it be possible to specify different code highlighting styles based on the format you are exporting? For example a light style for pdf files (for printing) vs a dark style for html?