jupyterlab/packages/fileeditor/style/index.css

/*-----------------------------------------------------------------------------
| Copyright (c) Jupyter Development Team.
| Distributed under the terms of the Modified BSD License.
|----------------------------------------------------------------------------*/


.jp-FileEditor {
    border-top: var(--jp-border-width) solid var(--jp-border-color1);
    margin-top: -1px;
}


.jp-FileEditor::before {
    content: '';
    display: block;
    height: var(--jp-toolbar-micro-height);
    background: var(--jp-toolbar-background);
    border-bottom: 1px solid var(--jp-toolbar-border-color);
    box-shadow: var(--jp-toolbar-box-shadow);
    z-index: 10;
}