.php-editor .editor-workspace{height:620px;min-height:0;overflow:hidden}.php-editor .editor-main{min-height:0;grid-template-rows:34px minmax(0,1fr) 166px;overflow:hidden}.php-editor .code-stage{min-height:0;height:100%;overflow:auto;overscroll-behavior:contain}.php-editor .editor-terminal{position:relative;z-index:3;min-height:166px}@media(max-width:760px){.php-editor .editor-workspace{height:550px}.php-editor .editor-main{grid-template-rows:32px minmax(0,1fr) 148px}.php-editor .editor-terminal{min-height:148px}}