Can set code mirror theme from top level.

Fixes #9.