.json-editor-menu-tools{
  width: 100%;
  height: 35px;
  padding: 2px;
  background-color: rgb(213, 221, 246);
  border-radius: 5px;
  /*border-bottom-right-radius: 0px;*/
  /*border-bottom-left-radius: 0px;*/
  margin-bottom: 5px;
  }
  .json-editor-menu-tools span.title{
    line-height: 33px;
    padding-left: 5px;
  }
  .json-editor-left-col{
    float: left;
    width: 59%;
    padding-left: 15px;

  }
  .json-editor-right-col{
    float: right;
    width: 40%;
    padding-right: 15px;
  }
  .json-editor-right-col pre{
    border: 1px solid #97B0F8;
  }

  input.json-error,input.json-error:focus{
    box-shadow: 0px 0px 5px 1px rgb(227, 137, 137) !important;
    border: 1px solid red !important;
  }