.rt-diff-row { grid-template-columns: 34px 34px minmax(max-content, 1fr); font-size: 13px; }
  .rt-line-number { font-size: 12px !important; }
  .rt-arm { padding: 15px; }
  .rt-metric, .rt-mechanism, .rt-gate-stop { font-size: 12px; }