.vanilla-jsoneditor-react {
  --jse-theme-color: @primary-color;
  --jse-theme-color-highlight: rgba(0, 0, 0, 0.2);
  display: flex;
  flex: 1;

  .jse-menu {
    .jse-button.jse-group-button:nth-child(2) {
      margin-right: calc(0.5 * var(--jse-padding, 10px)) !important;
      border-right: 1px solid var(--jse-menu-color, var(--jse-text-color-inverse, #fff)) !important;
    }

    .jse-button.jse-group-button:nth-child(3) {
      display: none;
    }
  }
}