/* Escala de la interfaz: en pantallas de escritorio (>= 1000 px) se ve como con el zoom del navegador al 90 %.
 * `zoom` NO cambia las consultas de ancho (@media), así que los puntos de corte de studio.css (1100 -> 999 px)
 * y result.css (1200 -> 1080 px) ya están ajustados a esta escala. `vh` tampoco se escala: se compensa con / 0.9. */
@media (min-width: 1000px) {
  html { zoom: 0.9; }
  body { min-height: calc(100vh / 0.9); }
  .preset-list { max-height: calc(100vh / 0.9 - 280px); }
  .modal-container { max-height: calc(90vh / 0.9); }
  .sidebar-panel { height: calc(100vh / 0.9 - var(--hdr-h, 72px) - 1.5rem); }
  .dlg { max-height: calc(100vh / 0.9 - 2rem); }
  .ub-body { max-height: calc(100vh / 0.9 - 140px); }
  .irm-body { max-height: calc(100vh / 0.9 - 150px); }
}