/* Tool panels opened from static pages stay on that page. */
body.shared-panel-open{overflow:hidden}