jupyterlab-emrys/lib/running/theme.css

A computational environment for Jupyter. Powered by Emrys

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

.jp-RunningSessions {
  min-width: 300px;
  color: #757575;
  background: #FAFAFA;
  font-size: 13px;
}


.jp-RunningSessions-header {
  border-bottom: 1px solid #E0E0E0;
}


.jp-RunningSessions-headerTitle {
  padding: 6px;
  font-size: 12px;
  vertical-align: middle;
}


.jp-RunningSessions-headerRefresh {
  flex: 1 1 auto;
  max-width: 100px;
  padding: 4px 6px;
  background: #FAFAFA;
  color: #757575;
  border: none;
  font-size: 14px;
  outline: 0;
  padding-top: 8px;
  padding-bottom: 8px;
}


.jp-RunningSessions-headerRefresh:before {
  font-family: FontAwesome;
  content: '\f021'; /* refresh */
  font-size: 12px;
}


.jp-RunningSessions-headerRefresh:hover {
  background: #F5F5F5;
  border-color: #D0D0D0;
  z-index: 1; /* raise overlapping border */
}


.jp-RunningSessions-sectionHeader {
  margin: 4px 0px;
  padding: 4px 12px;
  font-size: 11px;
  font-weight: 600;
  text-transform: uppercase;
  border-bottom: 1px solid #E0E0E0;
  letter-spacing: 2px;
}


.jp-RunningSessions-item {
  padding: 3px 12px;
  font-size: 13px;
  font-weight: 500;
  color: #757575;
}


.jp-RunningSessions-item:hover {
    background: #F5F5F5;
}


.jp-RunningSessions-itemIcon {
  padding: 1px 4px;
  font-size: 14px;
  font-family: FontAwesome;
  color: #5e5e5e;
  margin-right: 7px;
  margin-left: 7px;
  vertical-align: baseline;
}

.jp-RunningSessions-itemIcon.jp-mod-notebook:before {
  content: '\f02d';
}


.jp-RunningSessions-itemIcon.jp-mod-file:before {
  content: '\f016';
}


.jp-RunningSessions-itemIcon.jp-mod-terminal:before {
  content: '\f120';
}

.jp-RunningSessions-itemLabel {
  padding: 1px;
}

.jp-RunningSessions-itemKernelName {
  padding: 1px;
  margin-right: 7px;
}


.jp-RunningSessions-itemShutdown {
  padding: 1px 4px;
  color: #ffffff;
  background: #f0ad4e;
  border-radius: 1px;
  cursor: pointer;
}