:root{font-family:Inter,Avenir,Helvetica,Arial,sans-serif;font-size:16px;line-height:24px;font-weight:400;font-synthesis:none;text-rendering:optimizeLegibility;-webkit-font-smoothing:antialiased;-moz-osx-font-smoothing:grayscale;-webkit-text-size-adjust:100%}body{background-color:var(--vscode-editorWidget-background);color:var(--vscode-editorWidget-foreground);margin:0}#editorsDiv{min-width:0}#editors{position:relative;min-width:0;height:95vh;border:1px solid var(--vscode-editorWidget-border)}