@jupyterlab/launcher 4.0.0-alpha.15 → 4.0.0-alpha.17

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (2) hide show
  1. package/package.json +4 -4
  2. package/style/base.css +14 -12
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "@jupyterlab/launcher",
3
- "version": "4.0.0-alpha.15",
3
+ "version": "4.0.0-alpha.17",
4
4
  "description": "JupyterLab - Launcher Panel",
5
5
  "homepage": "https://github.com/jupyterlab/jupyterlab",
6
6
  "bugs": {
@@ -36,9 +36,9 @@
36
36
  "watch": "tsc -b --watch"
37
37
  },
38
38
  "dependencies": {
39
- "@jupyterlab/apputils": "^4.0.0-alpha.15",
40
- "@jupyterlab/translation": "^4.0.0-alpha.15",
41
- "@jupyterlab/ui-components": "^4.0.0-alpha.30",
39
+ "@jupyterlab/apputils": "^4.0.0-alpha.17",
40
+ "@jupyterlab/translation": "^4.0.0-alpha.17",
41
+ "@jupyterlab/ui-components": "^4.0.0-alpha.32",
42
42
  "@lumino/algorithm": "^2.0.0-alpha.6",
43
43
  "@lumino/commands": "^2.0.0-alpha.6",
44
44
  "@lumino/coreutils": "^2.0.0-alpha.6",
package/style/base.css CHANGED
@@ -6,13 +6,13 @@
6
6
  /* Private CSS variables */
7
7
 
8
8
  :root {
9
- --jp-private-launcher-top-padding: 16px;
10
- --jp-private-launcher-side-padding: 32px;
11
- --jp-private-launcher-card-size: 100px;
12
- --jp-private-launcher-card-label-height: 32px;
13
- --jp-private-launcher-card-icon-height: 68px;
14
- --jp-private-launcher-large-icon-size: 52px;
15
- --jp-private-launcher-small-icon-size: 32px;
9
+ --jp-private-launcher-top-padding: 1.231em;
10
+ --jp-private-launcher-side-padding: 2.462em;
11
+ --jp-private-launcher-card-size: 7.692em;
12
+ --jp-private-launcher-card-label-height: 2.462em;
13
+ --jp-private-launcher-card-icon-height: 5.231em;
14
+ --jp-private-launcher-large-icon-size: 4em;
15
+ --jp-private-launcher-small-icon-size: 2.462em;
16
16
  }
17
17
 
18
18
  /* Launcher */
@@ -80,7 +80,7 @@
80
80
  .jp-Launcher-sectionTitle {
81
81
  font-size: var(--jp-ui-font-size2);
82
82
  font-weight: normal;
83
- color: var(--jp-ui-font-color1);
83
+ color: var(--jp-ui-font-color0);
84
84
  box-sizing: border-box;
85
85
  }
86
86
 
@@ -113,6 +113,8 @@
113
113
  .jp-LauncherCard:focus:not(:active) {
114
114
  border: 1px solid var(--jp-brand-color1);
115
115
  box-shadow: var(--jp-elevation-z6);
116
+ outline: unset; /* if outline is not unset, then depending on which browser you use, the
117
+ border change is either hidden behind the outline or visually combined with it */
116
118
  }
117
119
 
118
120
  .jp-LauncherCard:hover {
@@ -142,7 +144,7 @@
142
144
 
143
145
  .jp-LauncherCard[data-category='Notebook'] .jp-LauncherCard-noKernelIcon {
144
146
  /* This color is copied from the notebook icon. */
145
- color: #ef6c00;
147
+ color: var(--jp-jupyter-icon-color);
146
148
  }
147
149
 
148
150
  .jp-LauncherCard[data-category='Console'] .jp-LauncherCard-noKernelIcon {
@@ -159,12 +161,12 @@
159
161
  }
160
162
 
161
163
  .jp-LauncherCard-label p {
162
- height: 28px;
164
+ height: 2.154em;
163
165
  word-break: break-word;
164
166
  text-align: center;
165
167
  color: var(--jp-ui-font-color1);
166
- line-height: 14px;
167
- font-size: 12px;
168
+ line-height: 1.077em;
169
+ font-size: calc(var(--jp-ui-font-size1) * 0.923);
168
170
  overflow: hidden;
169
171
  margin: auto;
170
172
  }