pxt-core 7.4.5 → 7.4.9

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.
@@ -3,7 +3,18 @@
3
3
  flex-direction: row;
4
4
  height: 100%;
5
5
 
6
+ --header-text-color: #000000;
7
+ --profile-portrait-border-color: #ffffff;
8
+ --profile-username-color: #999999;
6
9
  --background-color: #fef3e0;
10
+ --avatar-initials-background-color: #028B9B;
11
+ --avatar-initials-text-color: #ffffff;
12
+ --user-pane-border-color: #e4dbca;
13
+ --notification-background-color: #ffffff;
14
+ --notification-icon-background-color: #ffffff;
15
+ --notification-icon-color: #000000;
16
+ --badge-list-subtitle-color: #aba9a5;
17
+ --body-font-family: "Share Tech Mono", Monaco, Menlo, "Ubuntu Mono", Consolas, source-code-pro, monospace;
7
18
  }
8
19
 
9
20
  .profile-user-pane {
@@ -11,7 +22,7 @@
11
22
  flex-direction: column;
12
23
  width: 25%;
13
24
  padding: 1rem;
14
- border-right: solid 1px black;
25
+ border-right: solid 1px var(--user-pane-border-color);
15
26
  height: 100%;
16
27
  min-width: 20rem;
17
28
  }
@@ -22,9 +33,9 @@
22
33
  height: 12rem;
23
34
  width: 12rem;
24
35
  position: relative;
25
- border: solid white 2px;
36
+ border: solid var(--profile-portrait-border-color) 2px;
26
37
  align-self: center;
27
- margin-bottom: 1rem;
38
+ margin-bottom: 1.5rem;
28
39
  }
29
40
 
30
41
  .profile-portrait img {
@@ -42,28 +53,48 @@
42
53
 
43
54
  .profile-display-name {
44
55
  font-size: 1.5rem;
45
- color: black;
56
+ color: var(--header-text-color);
46
57
  text-transform: uppercase;
47
58
  font-weight: 900;
59
+ margin-bottom: 0.5rem;
48
60
  }
49
61
 
50
62
  .profile-username {
51
63
  font-size: 1rem;
52
- color: #999999;
64
+ color: var(--profile-username-color);
53
65
  }
54
66
 
55
67
  .profile-spacer {
56
68
  flex-grow: 1;
57
69
  }
58
70
 
71
+ .profile-email {
72
+ display: flex;
73
+ }
74
+
75
+ .profile-email .checkbox {
76
+ cursor: pointer;
77
+ padding-right: 1rem;
78
+ }
79
+
59
80
  .profile-actions {
60
81
  display: flex;
61
82
  flex-direction: row;
62
83
  align-items: center;
84
+ justify-content: space-between;
63
85
  }
64
86
 
65
87
  .profile-actions a {
66
88
  flex-grow: 1;
89
+ font-size: 14px;
90
+ }
91
+
92
+ .profile-actions .ui.button {
93
+ width: 50%;
94
+ }
95
+
96
+ .profile-actions .ui.button i.icon {
97
+ margin-right: 1.5rem !important;
67
98
  }
68
99
 
69
100
  .profile-notification {
@@ -73,7 +104,7 @@
73
104
  border-radius: 1rem;
74
105
  padding: 1rem;
75
106
  padding-top: 2rem;
76
- background: white;
107
+ background: var(--notification-background-color);
77
108
  display: flex;
78
109
  flex-direction: column;
79
110
  }
@@ -97,13 +128,19 @@
97
128
  position: absolute;
98
129
  top: -1.625rem;
99
130
  left: calc(50% - 1.625rem);
100
- background: #dedede;
131
+ color: var(--notification-icon-color);
132
+ background: var(--notification-icon-background-color);
101
133
  }
102
134
 
103
135
  .profile-notification .profile-notification-icon i.circular.icon {
104
136
  box-shadow: none;
105
137
  }
106
138
 
139
+ .profile-badge-subtitle {
140
+ font-style: italic;
141
+ color: var(--badge-list-subtitle-color);
142
+ }
143
+
107
144
  .profile-badge-list {
108
145
  flex-grow: 1;
109
146
  height: 100%;
@@ -114,8 +151,10 @@
114
151
 
115
152
  .profile-badges-scroller {
116
153
  flex-grow: 1;
117
- overflow-y: scroll;
154
+ overflow-y: auto;
155
+ overflow-x: hidden;
118
156
  position: relative;
157
+ z-index: 1;
119
158
  }
120
159
 
121
160
  .profile-badges, .profile-badges-background {
@@ -128,6 +167,10 @@
128
167
  align-items: center;
129
168
  }
130
169
 
170
+ .profile-badges-background {
171
+ z-index: -1;
172
+ }
173
+
131
174
  .profile-badges .profile-badge, .profile-badges-background .profile-badge {
132
175
  position: relative;
133
176
  aspect-ratio: 1;
@@ -144,11 +187,6 @@
144
187
  }
145
188
 
146
189
 
147
- .profile-badge.disabled img {
148
- filter: grayscale(1);
149
- opacity: 0.5;
150
- }
151
-
152
190
  .profile-badge.disabled i.ui.icon {
153
191
  line-height: 1;
154
192
  vertical-align: middle;
@@ -162,6 +200,7 @@
162
200
  background-image: url("data:image/svg+xml, %3Csvg xmlns='http://www.w3.org/2000/svg' viewBox='0 0 10 10'%3E%3Ccircle cx='5' cy='5' fill='black' r='3' opacity='0.1' /%3E%3C/svg%3E");
163
201
  background-repeat: no-repeat;
164
202
  background-position: center;
203
+ opacity: 0.3;
165
204
  aspect-ratio: 1;
166
205
  }
167
206
 
@@ -179,16 +218,24 @@
179
218
  font-weight: 900;
180
219
  font-size: 1.5rem;
181
220
  margin-right: 1rem;
221
+ color: var(--header-text-color);
182
222
  }
183
223
 
184
224
  .profile-badge-header {
225
+ margin-left: 1rem;
185
226
  margin-bottom: 1rem;
186
227
  }
187
228
 
229
+ .profile-badge-info-item {
230
+ margin-top: 1rem;
231
+ display: flex;
232
+ }
233
+
188
234
  .profile-badge-info-header {
189
235
  text-transform: uppercase;
190
236
  font-weight: 900;
191
- margin-top: 1rem;
237
+ width: 20%;
238
+ color: var(--header-text-color);
192
239
  }
193
240
 
194
241
  .profile-badge-info-image .profile-badge {
@@ -207,21 +254,37 @@
207
254
  justify-content: center;
208
255
  align-content: center;
209
256
  position: relative;
257
+ height: 100%;
258
+ }
259
+
260
+ .profile-badge.clickable {
261
+ cursor: pointer;
210
262
  }
211
263
 
212
264
  .profile-badge-and-title {
213
265
  display: flex;
214
266
  flex-direction: column;
215
267
  max-height: 100%;
268
+ height: 100%;
269
+ background-color: var(--background-color);
270
+ z-index: 2;
271
+ overflow: hidden;
272
+ }
273
+
274
+ .profile-badge-and-title .profile-badge {
275
+ margin-bottom: 1rem;
276
+ flex-shrink: 1000;
216
277
  }
217
278
 
218
- .profile-badge-and-title .profile-badge-title {
279
+ .profile-badge-name {
219
280
  font-size: 1rem;
220
281
  text-overflow: ellipsis;
221
- overflow: hidden;
282
+ white-space: nowrap;
222
283
  width: 100%;
223
284
  margin-right: 0;
224
285
  text-align: center;
286
+ color: var(--header-text-color);
287
+ overflow: hidden;
225
288
  }
226
289
 
227
290
  .profile-initials-portrait {
@@ -231,8 +294,12 @@
231
294
  align-items: center;
232
295
  justify-content: center;
233
296
  height: 100%;
234
- color: white;
235
- background-color: #028B9B;
297
+ color: var(--avatar-initials-text-color);
298
+ background-color: var(--avatar-initials-background-color);
299
+ }
300
+
301
+ .ui.icon.button.sign-out {
302
+ font-family: var(--body-font-family);
236
303
  }
237
304
 
238
305
  @media only screen and (max-width: 1200px) and (min-width: 992px) {