Code Mirror theme is applied automatically + tracing (issue #39)