@jupyterlab/rendermime 3.0.2 → 3.0.6

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 +13 -13
  2. package/style/base.css +24 -4
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "@jupyterlab/rendermime",
3
- "version": "3.0.2",
3
+ "version": "3.0.6",
4
4
  "description": "JupyterLab - RenderMime",
5
5
  "homepage": "https://github.com/jupyterlab/jupyterlab",
6
6
  "bugs": {
@@ -42,25 +42,25 @@
42
42
  "watch": "tsc -b --watch"
43
43
  },
44
44
  "dependencies": {
45
- "@jupyterlab/apputils": "^3.0.2",
46
- "@jupyterlab/codemirror": "^3.0.2",
47
- "@jupyterlab/coreutils": "^5.0.1",
48
- "@jupyterlab/nbformat": "^3.0.1",
49
- "@jupyterlab/observables": "^4.0.1",
50
- "@jupyterlab/rendermime-interfaces": "^3.0.2",
51
- "@jupyterlab/services": "^6.0.2",
52
- "@jupyterlab/translation": "^3.0.2",
45
+ "@jupyterlab/apputils": "^3.0.5",
46
+ "@jupyterlab/codemirror": "^3.0.5",
47
+ "@jupyterlab/coreutils": "^5.0.3",
48
+ "@jupyterlab/nbformat": "^3.0.3",
49
+ "@jupyterlab/observables": "^4.0.3",
50
+ "@jupyterlab/rendermime-interfaces": "^3.0.5",
51
+ "@jupyterlab/services": "^6.0.5",
52
+ "@jupyterlab/translation": "^3.0.5",
53
53
  "@lumino/algorithm": "^1.3.3",
54
54
  "@lumino/coreutils": "^1.5.3",
55
55
  "@lumino/messaging": "^1.4.3",
56
56
  "@lumino/signaling": "^1.4.3",
57
57
  "@lumino/widgets": "^1.16.1",
58
58
  "lodash.escape": "^4.0.1",
59
- "marked": "^1.1.1"
59
+ "marked": "^2.0.0"
60
60
  },
61
61
  "devDependencies": {
62
- "@jupyterlab/mathjax2": "^3.0.2",
63
- "@jupyterlab/testutils": "^3.0.2",
62
+ "@jupyterlab/mathjax2": "^3.0.5",
63
+ "@jupyterlab/testutils": "^3.0.6",
64
64
  "@types/jest": "^26.0.10",
65
65
  "@types/lodash.escape": "^4.0.6",
66
66
  "@types/marked": "^1.1.0",
@@ -75,5 +75,5 @@
75
75
  "access": "public"
76
76
  },
77
77
  "styleModule": "style/index.js",
78
- "gitHead": "3acb5b3441f869ee51b8f1dedc0eabe29a39c11f"
78
+ "gitHead": "492781f1a4cbe794b9c2868f1b3efdc5803ea1aa"
79
79
  }
package/style/base.css CHANGED
@@ -7,6 +7,13 @@
7
7
  | RenderedText
8
8
  |----------------------------------------------------------------------------*/
9
9
 
10
+ :root {
11
+ /* This is the padding value to fill the gaps between lines containing spans with background color. */
12
+ --jp-private-code-span-padding: calc(
13
+ (var(--jp-code-line-height) - 1) * var(--jp-code-font-size) / 2
14
+ );
15
+ }
16
+
10
17
  .jp-RenderedText {
11
18
  text-align: left;
12
19
  padding-left: var(--jp-code-padding);
@@ -38,10 +45,6 @@
38
45
  }
39
46
 
40
47
  /* console foregrounds and backgrounds */
41
- .jp-RenderedText pre span {
42
- display: inline-block;
43
- }
44
-
45
48
  .jp-RenderedText pre .ansi-black-fg {
46
49
  color: #3e424d;
47
50
  }
@@ -69,27 +72,35 @@
69
72
 
70
73
  .jp-RenderedText pre .ansi-black-bg {
71
74
  background-color: #3e424d;
75
+ padding: var(--jp-private-code-span-padding) 0;
72
76
  }
73
77
  .jp-RenderedText pre .ansi-red-bg {
74
78
  background-color: #e75c58;
79
+ padding: var(--jp-private-code-span-padding) 0;
75
80
  }
76
81
  .jp-RenderedText pre .ansi-green-bg {
77
82
  background-color: #00a250;
83
+ padding: var(--jp-private-code-span-padding) 0;
78
84
  }
79
85
  .jp-RenderedText pre .ansi-yellow-bg {
80
86
  background-color: #ddb62b;
87
+ padding: var(--jp-private-code-span-padding) 0;
81
88
  }
82
89
  .jp-RenderedText pre .ansi-blue-bg {
83
90
  background-color: #208ffb;
91
+ padding: var(--jp-private-code-span-padding) 0;
84
92
  }
85
93
  .jp-RenderedText pre .ansi-magenta-bg {
86
94
  background-color: #d160c4;
95
+ padding: var(--jp-private-code-span-padding) 0;
87
96
  }
88
97
  .jp-RenderedText pre .ansi-cyan-bg {
89
98
  background-color: #60c6c8;
99
+ padding: var(--jp-private-code-span-padding) 0;
90
100
  }
91
101
  .jp-RenderedText pre .ansi-white-bg {
92
102
  background-color: #c5c1b4;
103
+ padding: var(--jp-private-code-span-padding) 0;
93
104
  }
94
105
 
95
106
  .jp-RenderedText pre .ansi-black-intense-fg {
@@ -119,27 +130,35 @@
119
130
 
120
131
  .jp-RenderedText pre .ansi-black-intense-bg {
121
132
  background-color: #282c36;
133
+ padding: var(--jp-private-code-span-padding) 0;
122
134
  }
123
135
  .jp-RenderedText pre .ansi-red-intense-bg {
124
136
  background-color: #b22b31;
137
+ padding: var(--jp-private-code-span-padding) 0;
125
138
  }
126
139
  .jp-RenderedText pre .ansi-green-intense-bg {
127
140
  background-color: #007427;
141
+ padding: var(--jp-private-code-span-padding) 0;
128
142
  }
129
143
  .jp-RenderedText pre .ansi-yellow-intense-bg {
130
144
  background-color: #b27d12;
145
+ padding: var(--jp-private-code-span-padding) 0;
131
146
  }
132
147
  .jp-RenderedText pre .ansi-blue-intense-bg {
133
148
  background-color: #0065ca;
149
+ padding: var(--jp-private-code-span-padding) 0;
134
150
  }
135
151
  .jp-RenderedText pre .ansi-magenta-intense-bg {
136
152
  background-color: #a03196;
153
+ padding: var(--jp-private-code-span-padding) 0;
137
154
  }
138
155
  .jp-RenderedText pre .ansi-cyan-intense-bg {
139
156
  background-color: #258f8f;
157
+ padding: var(--jp-private-code-span-padding) 0;
140
158
  }
141
159
  .jp-RenderedText pre .ansi-white-intense-bg {
142
160
  background-color: #a1a6b2;
161
+ padding: var(--jp-private-code-span-padding) 0;
143
162
  }
144
163
 
145
164
  .jp-RenderedText pre .ansi-default-inverse-fg {
@@ -147,6 +166,7 @@
147
166
  }
148
167
  .jp-RenderedText pre .ansi-default-inverse-bg {
149
168
  background-color: var(--jp-inverse-layout-color0);
169
+ padding: var(--jp-private-code-span-padding) 0;
150
170
  }
151
171
 
152
172
  .jp-RenderedText pre .ansi-bold {