Don't need this anymore, it's been merged into Theme and CodeMirror components.