/*-----------------------------------------------------------------------------
| Copyright (c) Jupyter Development Team.
| Distributed under the terms of the Modified BSD License.
|----------------------------------------------------------------------------*/
.jp-EditorWidget {
    border-top: 1px solid #E0E0E0;
    margin-top: 4px;
}