TraceView now sets unlighlighted colour in traceview.py rather than kwiklib