@jupyterlab/extensionmanager
Version:
JupyterLab - Extension Manager
331 lines (269 loc) • 6.14 kB
CSS
/*
* Copyright (c) Jupyter Development Team.
* Distributed under the terms of the Modified BSD License.
*/
/*
Main widget layout and styling
*/
.jp-extensionmanager-view .lm-SplitPanel-child {
overflow-y: auto;
}
.jp-extensionmanager-header {
width: 100%;
}
.jp-extensionmanager-title {
display: flex;
margin: 4px 10px 0;
}
.jp-extensionmanager-title svg {
width: 14px;
}
.jp-extensionmanager-title .jp-icon3[fill] {
fill: currentcolor;
}
.jp-extensionmanager-path {
display: inline flex;
padding-left: 4px;
}
.jp-extensionmanager-header .jp-FilterBox {
margin: 4px 10px 0;
width: calc(100% - 20px);
font-weight: normal;
}
.jp-extensionmanager-disclaimer {
padding: 0 8px;
min-height: 160px;
}
.jp-extensionmanager-disclaimer a {
color: var(--jp-content-link-color);
text-decoration: none;
}
.jp-extensionmanager-disclaimer a:hover {
color: var(--jp-content-link-hover-color, var(--jp-content-link-color));
text-decoration: underline;
}
.jp-extensionmanager-disclaimer .jp-Button {
margin: 0 5px;
}
/*
List view layout and styling
*/
.jp-extensionmanager-listview-wrapper {
margin: 0;
padding: 0;
display: flex;
flex-direction: column;
height: 100%;
}
.jp-extensionmanager-listview {
list-style-type: none;
margin: 0;
padding: 0;
min-height: 0;
flex: 1 1 auto;
overflow: auto;
}
/*
Section headers
*/
.jp-extensionmanager-view .jp-SidePanel-header .jp-extensionmanager-error {
text-transform: none;
font-size: var(--jp-ui-font-size1);
font-weight: 400;
}
/*
Error messages
*/
.jp-extensionmanager-view .jp-extensionmanager-error pre {
white-space: pre-wrap;
}
/*
List view pagination styling
*/
.jp-extensionmanager-view ul.pagination {
display: flex;
justify-content: center;
padding-left: 0;
padding-right: 0;
}
.jp-extensionmanager-pagination li {
display: inline-block;
}
/* stylelint-disable selector-max-type */
.jp-extensionmanager-pagination li > a {
padding: 0 5px;
cursor: pointer;
}
/* stylelint-enable selector-max-type */
.jp-extensionmanager-pagination li.active > a {
background: var(--jp-brand-color1);
color: var(--jp-layout-color1);
}
.jp-extensionmanager-pagination li > a:hover {
background-color: var(--jp-layout-color2);
}
.jp-extensionmanager-pagination .break > a {
cursor: default;
}
.jp-extensionmanager-installedlist,
.jp-extensionmanager-searchresults {
min-height: 100px;
}
/*
Entry layout and styling
*/
.jp-extensionmanager-entry {
padding: 8px;
border-bottom: solid var(--jp-border-width) var(--jp-border-color2);
}
.jp-extensionmanager-entry-description {
min-width: 0;
flex-grow: 1;
font-size: var(--jp-ui-font-size1);
color: var(--jp-ui-font-color2);
font-weight: 400;
}
.jp-extensionmanager-entry-title {
display: flex;
flex-direction: row;
justify-content: space-between;
align-items: center;
}
.jp-extensionmanager-entry.jp-extensionmanager-entry-should-be-uninstalled {
background-color: var(--jp-error-color3);
}
/* Precedence order update/error/warning matters! */
.jp-extensionmanager-entry.jp-extensionmanager-entry-update {
border-left: solid 8px var(--jp-brand-color2);
padding-left: 4px;
}
.jp-extensionmanager-entry.jp-extensionmanager-entry-error {
border-left: solid 8px var(--jp-error-color2);
padding-left: 4px;
}
.jp-extensionmanager-entry-name {
font-size: var(--jp-ui-font-size1);
font-weight: 600;
padding: 0 8px 0 0;
margin-bottom: 4px;
overflow-wrap: anywhere;
}
.jp-extensionmanager-entry-name a:link {
color: var(--jp-content-link-color);
text-decoration: none;
}
.jp-extensionmanager-entry-name a:visited {
color: var(--jp-content-link-visited-color, var(--jp-content-link-color));
text-decoration: none;
}
.jp-extensionmanager-entry-name a:hover {
color: var(--jp-content-link-hover-color, var(--jp-content-link-color));
text-decoration: underline;
}
.jp-extensionmanager-loader,
.jp-extensionmanager-error,
.jp-extensionmanager-listview-message {
padding: 4px 12px;
}
.jp-extensionmanager-listview-message {
font-size: var(--jp-ui-font-size1);
}
.jp-extensionmanager-entry-content {
display: flex;
flex-direction: column;
justify-content: space-between;
}
/*
Pending entry progress indicator
*/
.jp-extensionmanager-pending {
height: 4px;
width: 100%;
position: relative;
overflow: hidden;
flex: 0 0 auto;
background-color: var(--jp-layout-color1);
}
.jp-extensionmanager-pending.jp-mod-hasPending::before {
display: block;
position: absolute;
content: '';
left: -200px;
width: 200px;
height: 4px;
border-radius: 4px;
background-color: var(--jp-brand-color1);
animation: loading 2s linear infinite;
}
@keyframes loading {
0% {
left: -200px;
width: 30%;
}
50% {
width: 30%;
}
70% {
width: 70%;
}
80% {
left: 50%;
}
95% {
left: 120%;
}
100% {
left: 100%;
}
}
/*
Disclaimer buttons
*/
.jp-extensionmanager-disclaimer-disable {
background-color: var(--jp-reject-color-normal) ;
color: white ;
border: 0;
background-image: none ;
}
.jp-extensionmanager-disclaimer-enable {
background-color: var(--jp-error-color1) ;
color: white ;
border: 0;
background-image: none ;
}
/*
Entry buttons layout and styling
*/
.jp-extensionmanager-entry-buttons {
display: flex;
flex-direction: row;
padding-block-start: 4px;
justify-content: flex-end;
}
/*
Rebuild prompt dialog
*/
.jp-extensionmanager-buildprompt {
background-color: var(--jp-brand-color1);
color: var(--jp-ui-inverse-font-color1);
padding: 4px 8px;
font-size: var(--jp-ui-font-size1);
font-weight: 400;
}
.jp-extensionmanager-buildprompt button {
border: none;
background-color: transparent;
color: var(--jp-ui-inverse-font-color1);
font-size: var(--jp-ui-font-size1);
font-weight: 600;
float: right;
margin: 4px;
}
/*
Generic dialog
*/
.jp-extensionmanager-dialog .jp-extensionmanager-dialog-subheader {
font-size: var(--jp-ui-font-size1);
font-weight: 600;
color: var(--jp-ui-font-color0);
}