I should clarify. There are two things that need to be configured: 1) should the highlight be done at nbconvert time or later and 2) the css class template. Both of these traitlets should be defined and configured in one place. Currently they are in both `exporters/html.py` and in `filters/highlight.py`. This should be fixed.