stellars_jupyterlab_sublime_theme 1.0.75 → 1.0.80
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.
- package/package.json +1 -1
- package/style/scrollbars.css +15 -2
- package/style/variables.css +1 -1
package/package.json
CHANGED
package/style/scrollbars.css
CHANGED
|
@@ -32,16 +32,22 @@
|
|
|
32
32
|
|
|
33
33
|
::-webkit-scrollbar,
|
|
34
34
|
::-webkit-scrollbar-corner {
|
|
35
|
-
background: var(--jp-scrollbar-background-color);
|
|
35
|
+
background: var(--jp-scrollbar-background-color) !important;
|
|
36
|
+
width: 16px !important;
|
|
37
|
+
height: 16px !important;
|
|
36
38
|
}
|
|
37
39
|
|
|
38
40
|
::-webkit-scrollbar-thumb {
|
|
39
|
-
background: rgb(var(--jp-scrollbar-thumb-color));
|
|
41
|
+
background: rgb(var(--jp-scrollbar-thumb-color)) !important;
|
|
40
42
|
border: var(--jp-scrollbar-thumb-margin) solid transparent;
|
|
41
43
|
background-clip: content-box;
|
|
42
44
|
border-radius: var(--jp-scrollbar-thumb-radius);
|
|
43
45
|
}
|
|
44
46
|
|
|
47
|
+
::-webkit-scrollbar-track {
|
|
48
|
+
background: var(--jp-scrollbar-background-color) !important;
|
|
49
|
+
}
|
|
50
|
+
|
|
45
51
|
::-webkit-scrollbar-track:horizontal {
|
|
46
52
|
border-left: var(--jp-scrollbar-endpad) solid
|
|
47
53
|
var(--jp-scrollbar-background-color);
|
|
@@ -56,6 +62,12 @@
|
|
|
56
62
|
var(--jp-scrollbar-background-color);
|
|
57
63
|
}
|
|
58
64
|
|
|
65
|
+
::-webkit-scrollbar-button {
|
|
66
|
+
background: var(--jp-scrollbar-background-color) !important;
|
|
67
|
+
height: 16px !important;
|
|
68
|
+
width: 16px !important;
|
|
69
|
+
}
|
|
70
|
+
|
|
59
71
|
/* for code nodes, use a transparent style of scrollbar */
|
|
60
72
|
|
|
61
73
|
.CodeMirror-hscrollbar::-webkit-scrollbar,
|
|
@@ -82,3 +94,4 @@
|
|
|
82
94
|
border-top: var(--jp-scrollbar-endpad) solid transparent;
|
|
83
95
|
border-bottom: var(--jp-scrollbar-endpad) solid transparent;
|
|
84
96
|
}
|
|
97
|
+
|
package/style/variables.css
CHANGED
|
@@ -421,7 +421,7 @@ all of MD as it is not optimized for dense, information rich UIs.
|
|
|
421
421
|
|
|
422
422
|
/* scrollbar related styles. Supports every browser except Edge. */
|
|
423
423
|
|
|
424
|
-
--jp-scrollbar-background-color:
|
|
424
|
+
--jp-scrollbar-background-color: var(--jp-layout-color0); /* same as file browser background */
|
|
425
425
|
--jp-scrollbar-thumb-color: 82, 90, 100; /* need to specify thumb color as an RGB triplet 68, 75, 83; */
|
|
426
426
|
--jp-scrollbar-endpad: 3px; /* the minimum gap between the thumb and the ends of a scrollbar */
|
|
427
427
|
|