/* Text Diff — tool-specific styles */
[data-page="tool"] #tool-in-original,
[data-page="tool"] #tool-in-changed,
[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-original,
[data-page="tool"] #tool-in-changed {
  min-height: 220px;
}

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