body.terminal-resizing{-webkit-user-select:none!important;user-select:none!important;cursor:row-resize!important}body.terminal-resizing *{pointer-events:none!important}