jupyterlab/packages/codeeditor/style/index.css

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


.jp-JSONEditor {
  padding-left: 10px;
  padding-right: 10px;
  display: flex;
  flex-direction: column;
  width: 100%;
}


.jp-JSONEditor-host {
  flex: 1 1 auto;
  border: var(--jp-border-width) solid #cfcfcf;
  border-radius: 0px;
  background: #f7f7f7;
  min-height: 50px;
}


.jp-JSONEditor.jp-mod-error .jp-JSONEditor-host {
  border-color: red;
  outline-color: red;
}


.jp-JSONEditor-buttons {
  font-family: FontAwesome;
  flex: 1 0 auto;
  min-height: 13px;
  padding-bottom: 6px;
}


.jp-JSONEditor-commitButton::before {
  content: '\f00c'; /* check */
  float: right;
  margin-right: 20px;
}


.jp-JSONEditor-revertButton::before {
  content: '\f0e2'; /* undo */
  float: right;
  margin-right: 4px;
}