stellars_jupyterlab_sublime_theme 1.0.74 → 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 +2 -2
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
|
@@ -385,7 +385,7 @@ all of MD as it is not optimized for dense, information rich UIs.
|
|
|
385
385
|
--jp-mirror-editor-comment-color: #7d8c9b; /* blue6 was a6acb9 changed to #707c88; and then to #7d8c9b*/
|
|
386
386
|
--jp-mirror-editor-string-color: #678e45; /* green using #82ac5e, sublime promotes lighter #A3BE8C */
|
|
387
387
|
--jp-mirror-editor-string-2-color: #678e45; /* additional strings */
|
|
388
|
-
--jp-mirror-editor-meta-color: #
|
|
388
|
+
--jp-mirror-editor-meta-color: #79b3ed; /* link_fg for meta */
|
|
389
389
|
--jp-mirror-editor-qualifier-color: #88C0D0; /* blue button_bg */
|
|
390
390
|
--jp-mirror-editor-builtin-color: #f8837b; /* using sublime pale pink #f8837b; switched to more saturated #ba72ba; */
|
|
391
391
|
--jp-mirror-editor-bracket-color: #D8DEE9; /* text_fg color */
|
|
@@ -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
|
|