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

#setting-editor.jp-SettingEditor {
  outline: none;
}


#setting-editor.jp-SettingEditor ul.jp-PluginList {
  background: yellow;
  list-style-type: none;
  margin: 0;
  padding: 2px;
}


#setting-editor.jp-SettingEditor .jp-PluginEditor {
  background: blue;
  color: white;
}