/* Keep the page width steady when a modal temporarily hides the scrollbar. */
html { scrollbar-gutter: stable; }