Improved Monokai theme JSON colors.