jupyterlab/packages/settingeditor-extension/style/settingeditor.css

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

#setting-editor.jp-SettingEditor {
  background-color: var(--jp-layout-color0);
  border-top: var(--jp-border-width) solid var(--jp-border-color1);
  margin-top: -1px;
  outline: none;
}


#setting-editor.jp-SettingEditor::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;
}


#setting-editor.jp-SettingEditor .p-SplitPanel {
  height: 100%;
  width: 100%;
}

#setting-editor.jp-SettingEditor .p-SplitPanel-handle {
  background-color: var(--jp-border-color1);
}


#setting-editor.jp-SettingEditor .jp-SettingEditorInstructions {
  text-align: center;
}


#setting-editor.jp-SettingEditor .jp-SettingEditorInstructions-icon {
  display: inline-block;
  background-size: 60px;
  width: 60px;
  height: 78px;
  margin-right: 5px;

}


#setting-editor.jp-SettingEditor .jp-SettingEditorInstructions-title {
  font-size: 32px;
  font-weight: 200;
  line-height: 78px;
  vertical-align: top;
}


#setting-editor.jp-SettingEditor .jp-SettingEditorInstructions-text {
  font-size: var(--jp-ui-font-size2);
}


#setting-editor.jp-SettingEditor ul.jp-PluginList {
  background-color: var(--jp-layout-color1);
  color: var(--jp-ui-font-color1);
  font-size: var(--jp-ui-font-size1);
  list-style-type: none;
  margin: 0;
  padding: 0;
  min-width: 150px;
  width: 150px;
}


#setting-editor.jp-SettingEditor ul.jp-PluginList li {
  border: 1px solid transparent;
  overflow: hidden;
  padding: 2px 0 5px 5px;
  text-overflow: ellipsis;
  white-space: nowrap;
}


#setting-editor.jp-SettingEditor ul.jp-PluginList li:hover {
  background-color: var(--jp-layout-color2);
}


#setting-editor.jp-SettingEditor ul.jp-PluginList li.jp-mod-selected {
  background-color: var(--jp-brand-color1);
}


#setting-editor.jp-SettingEditor .jp-PluginList-icon {
  display: inline-block;
  height: 20px;
  width: 20px;
  margin-right: 3px;
  position: relative;
  top: 3px;
}


#setting-editor.jp-SettingEditor .jp-PluginEditor {
  padding: 10px;
}


#setting-editor.jp-SettingEditor .jp-PluginEditor .jp-JSONEditor-host {
  height: 100%;
  margin-left: 0;
  margin-right: 0;
}


#setting-editor.jp-SettingEditor .jp-PluginEditor .jp-JSONEditor-header {
  position: absolute;
  right: 0;
  z-index: 9999;
}


#setting-editor.jp-SettingEditor .jp-PluginEditor .jp-PluginFieldset {
  border: 1px solid var(--jp-brand-color1);
  margin: 0;
  overflow-y: auto;
  padding: 0;
}


#setting-editor.jp-SettingEditor .jp-PluginEditor .jp-PluginFieldset legend {
  color: var(--jp-brand-color1);
  font-size: 70%;
  font-weight: bold;
  margin-left: 15px;
}


#setting-editor.jp-SettingEditor .jp-PluginEditor .jp-PluginFieldset-table {
  display: table;
  border-collapse: collapse;
  color: var(--jp-ui-font-color1);
  font-size: var(--jp-ui-font-size1);
  width: 100%;
}


#setting-editor.jp-SettingEditor .jp-PluginEditor .jp-PluginFieldset-table > div {
  border: 1px solid var(--jp-border-color0);
  background-color: var(--md-grey-400);
  color: var(--jp-ui-font-color2);
  display: table-row;
  margin: 3px;
  padding: 3px;
}


#setting-editor.jp-SettingEditor .jp-PluginEditor .jp-PluginFieldset-table > div > div {
  background-color: var(--md-grey-400);
  color: var(--jp-ui-font-color2);
  display: table-cell;
  margin: 3px;
  padding: 3px;
}