/* Keep every desktop launcher reachable when the application grid grows. */
body.portal-mode {
  overflow-y: auto;
}