Pass over the codemirror theme + some minor fixes