/* v1.38: development controls never occupy production play UI. */
html:not(.dm-devtools) #geToggle,html:not(.dm-devtools) #gePanelToggle,
html:not(.dm-devtools) #gePanel,html:not(.dm-devtools) #geBadge,
html:not(.dm-devtools) #dmDiagnosticsShortcut,html:not(.dm-devtools) #dmDiagOverlay,
html:not(.dm-devtools) #sheet,html:not(.dm-devtools) #labToggle,
html:not(.dm-devtools) #extendedCommands{display:none!important}
