/* Keep the viewport width stable when a modal locks page scrolling. */
html{scrollbar-gutter:stable!important}