added theme for JSON code editor