/* Keep the document's layout width stable when a dialog locks scrolling or a
 * tab changes between short and long content. Apply to the root scrollport. */
html { scrollbar-gutter: stable; }
