pxt-core 7.4.6 → 7.4.7

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,14 +53,15 @@
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 {
@@ -60,10 +72,20 @@
60
72
  display: flex;
61
73
  flex-direction: row;
62
74
  align-items: center;
75
+ justify-content: space-between;
63
76
  }
64
77
 
65
78
  .profile-actions a {
66
79
  flex-grow: 1;
80
+ font-size: 14px;
81
+ }
82
+
83
+ .profile-actions .ui.button {
84
+ width: 50%;
85
+ }
86
+
87
+ .profile-actions .ui.button i.icon {
88
+ margin-right: 1.5rem !important;
67
89
  }
68
90
 
69
91
  .profile-notification {
@@ -73,7 +95,7 @@
73
95
  border-radius: 1rem;
74
96
  padding: 1rem;
75
97
  padding-top: 2rem;
76
- background: white;
98
+ background: var(--notification-background-color);
77
99
  display: flex;
78
100
  flex-direction: column;
79
101
  }
@@ -97,13 +119,19 @@
97
119
  position: absolute;
98
120
  top: -1.625rem;
99
121
  left: calc(50% - 1.625rem);
100
- background: #dedede;
122
+ color: var(--notification-icon-color);
123
+ background: var(--notification-icon-background-color);
101
124
  }
102
125
 
103
126
  .profile-notification .profile-notification-icon i.circular.icon {
104
127
  box-shadow: none;
105
128
  }
106
129
 
130
+ .profile-badge-subtitle {
131
+ font-style: italic;
132
+ color: var(--badge-list-subtitle-color);
133
+ }
134
+
107
135
  .profile-badge-list {
108
136
  flex-grow: 1;
109
137
  height: 100%;
@@ -114,8 +142,10 @@
114
142
 
115
143
  .profile-badges-scroller {
116
144
  flex-grow: 1;
117
- overflow-y: scroll;
145
+ overflow-y: auto;
146
+ overflow-x: hidden;
118
147
  position: relative;
148
+ z-index: 1;
119
149
  }
120
150
 
121
151
  .profile-badges, .profile-badges-background {
@@ -128,6 +158,10 @@
128
158
  align-items: center;
129
159
  }
130
160
 
161
+ .profile-badges-background {
162
+ z-index: -1;
163
+ }
164
+
131
165
  .profile-badges .profile-badge, .profile-badges-background .profile-badge {
132
166
  position: relative;
133
167
  aspect-ratio: 1;
@@ -162,6 +196,7 @@
162
196
  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
197
  background-repeat: no-repeat;
164
198
  background-position: center;
199
+ opacity: 0.3;
165
200
  aspect-ratio: 1;
166
201
  }
167
202
 
@@ -179,16 +214,24 @@
179
214
  font-weight: 900;
180
215
  font-size: 1.5rem;
181
216
  margin-right: 1rem;
217
+ color: var(--header-text-color);
182
218
  }
183
219
 
184
220
  .profile-badge-header {
221
+ margin-left: 1rem;
185
222
  margin-bottom: 1rem;
186
223
  }
187
224
 
225
+ .profile-badge-info-item {
226
+ margin-top: 1rem;
227
+ display: flex;
228
+ }
229
+
188
230
  .profile-badge-info-header {
189
231
  text-transform: uppercase;
190
232
  font-weight: 900;
191
- margin-top: 1rem;
233
+ width: 20%;
234
+ color: var(--header-text-color);
192
235
  }
193
236
 
194
237
  .profile-badge-info-image .profile-badge {
@@ -207,21 +250,36 @@
207
250
  justify-content: center;
208
251
  align-content: center;
209
252
  position: relative;
253
+ height: 100%;
254
+ }
255
+
256
+ .profile-badge.clickable {
257
+ cursor: pointer;
210
258
  }
211
259
 
212
260
  .profile-badge-and-title {
213
261
  display: flex;
214
262
  flex-direction: column;
215
263
  max-height: 100%;
264
+ height: 100%;
265
+ background-color: var(--background-color);
266
+ z-index: 2;
267
+ overflow: hidden;
216
268
  }
217
269
 
218
- .profile-badge-and-title .profile-badge-title {
270
+ .profile-badge-and-title .profile-badge {
271
+ margin-bottom: 1rem;
272
+ flex-shrink: 1000;
273
+ }
274
+
275
+ .profile-badge-name {
219
276
  font-size: 1rem;
220
277
  text-overflow: ellipsis;
221
- overflow: hidden;
278
+ white-space: nowrap;
222
279
  width: 100%;
223
280
  margin-right: 0;
224
281
  text-align: center;
282
+ color: var(--header-text-color);
225
283
  }
226
284
 
227
285
  .profile-initials-portrait {
@@ -231,8 +289,12 @@
231
289
  align-items: center;
232
290
  justify-content: center;
233
291
  height: 100%;
234
- color: white;
235
- background-color: #028B9B;
292
+ color: var(--avatar-initials-text-color);
293
+ background-color: var(--avatar-initials-background-color);
294
+ }
295
+
296
+ .ui.icon.button.sign-out {
297
+ font-family: var(--body-font-family);
236
298
  }
237
299
 
238
300
  @media only screen and (max-width: 1200px) and (min-width: 992px) {