/* Apply the same viewing preferences throughout the application. */
:root { --ui-scale: 1.07; }
html { zoom: var(--ui-scale); filter: contrast(1.15); }
body.ide { height: calc(100dvh / var(--ui-scale)); }
@media (max-width:650px) {
  body.ide { height:auto; min-height:calc(100dvh / var(--ui-scale)); }
}
@media print {
  html { zoom:1; filter:none; }
}