/* JSON Diff — tool-specific styles */
[data-page="tool"] #tool-in-left,
[data-page="tool"] #tool-in-right,
[data-page="tool"] #tool-out-output {
  font-family: var(--font-mono);
  font-size: var(--text-sm);
  line-height: 1.55;
}

[data-page="tool"] #tool-in-left,
[data-page="tool"] #tool-in-right {
  min-height: 300px;
}

[data-page="tool"] #tool-out-output {
  min-height: 300px;
}