.json-formatter .json-code {
  min-height: 22rem;
  font-family: var(--bs-font-monospace);
  font-size: .9rem;
  line-height: 1.55;
  tab-size: 4;
  resize: vertical;
  white-space: pre;
}
.json-formatter .json-code:focus {
  border-color: #86b7fe;
}
.json-formatter .json-code.json-drag-over {
  border-color: #198754;
  background-color: #e8f3ec;
}
.json-formatter .json-stat {
  height: 100%;
  padding: .6rem .7rem;
  border: 1px solid #dee2e6;
  border-radius: .375rem;
  background: #fff;
  font-variant-numeric: tabular-nums;
}
.json-formatter .json-stat-label {
  color: #6c757d;
  font-size: .8rem;
}
@media (max-width: 575.98px) {
  .json-formatter .json-code {
    min-height: 17rem;
    font-size: .82rem;
  }
}