/* Keep the installed iPhone shell clear of the notch and home indicator. */
@media (max-width: 650px) {
  .device { min-height: 100vh; min-height: 100dvh; }
  .device-head { padding-top: env(safe-area-inset-top, 0px); }
  .bottom-nav { padding-bottom: env(safe-area-inset-bottom, 0px); }
  .opening-copy { padding-top: max(20px, env(safe-area-inset-top, 0px)); }
}