const kTHEMES = ["clouds_midnight", "clouds", "cobalt", "crimson_editor",
                 "dawn", "eclipse", "idle_fingers", "kr_theme",
                 "merbivore", "merbivore_soft",
                 "mono_industrial", "monokai", "pastel_on_dark", "twilight",
                 "vibrant_ink"];
