#workspace .editor{grid-template-columns:var(--explorer-width,minmax(210px,23%)) 6px minmax(0,1fr)}
#workspace .editor>aside{border-right:0}
.editor-splitter{cursor:col-resize;touch-action:none;background:#eee;position:relative;outline:none}
.editor-splitter:hover,.resizing .editor-splitter{background:#86afd0}
.editor.resizing,.editor.resizing *{cursor:col-resize!important;user-select:none!important}
@media(max-width:760px){#workspace .editor{grid-template-columns:var(--explorer-width,165px) 6px minmax(0,1fr)}}