.json-editor-shell {
  position: relative;
  min-width: 0;
  background: #fcfdfb;
}
.json-editor-shell > #json-editor {
  width: calc(100% - 33px);
  min-width: 0;
  margin-left: 33px;
}
.json-editor-shell > #json-line-numbers {
  position: absolute;
  z-index: 1;
  inset: 0 auto 0 0;
  width: 33px;
  margin: 0;
  padding-right: 7px;
  padding-left: 4px;
  overflow: hidden;
  border-right: 1px solid #edf0ed;
  background: #f8faf8;
  color: #a3aaa4;
  font: 400 9px Consolas, "SFMono-Regular", "Liberation Mono", monospace;
  text-align: right;
  white-space: pre;
  user-select: none;
  pointer-events: none;
}
@media (max-width: 480px) {
  .json-editor-shell > #json-line-numbers {
    width: 29px;
    padding-right: 6px;
    font-size: 8px;
  }
  .json-editor-shell > #json-editor {
    width: calc(100% - 29px);
    margin-left: 29px;
  }
}