/* Reserve the scrollbar's space at all times, also while a popup has locked
   the page, so the page never changes width. */
html {
  scrollbar-gutter: stable;
}