extJson{
      width: 100%;
      height: 95%;
      overflow: auto;
      margin-top: 10px;
      resize: none;
      padding: 4px;
      box-sizing: border-box;
    }

    summary{
      font-weight: bold;
      cursor: pointer;
    }

    .diff-green{
      color: green;
    }

    .diff-red{
      color: red;
    }

    .diff-blue{
      color: blue;
    }

    .error-message{
      margin-left: 10px;
      color: red;
      font-weight: bold;
    }

    .save-message{
      margin-left: 10px;
      fon