#305: codemirror theme picker