pxt-core 7.5.30 → 7.5.31
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/built/pxt.js +0 -99
- package/built/pxtlib.js +0 -99
- package/built/target.js +1 -1
- package/built/web/main.js +1 -1
- package/built/web/pxtapp.js +1 -1
- package/built/web/pxtembed.js +1 -1
- package/built/web/pxtlib.js +1 -1
- package/built/web/pxtworker.js +1 -1
- package/built/web/rtlsemantic.css +1 -1
- package/built/web/semantic.css +1 -1
- package/package.json +1 -1
- package/theme/common.less +6 -7
package/package.json
CHANGED
package/theme/common.less
CHANGED
|
@@ -961,13 +961,7 @@ Field editors
|
|
|
961
961
|
flex-wrap: wrap;
|
|
962
962
|
gap: 1.5rem;
|
|
963
963
|
background-color: #E5E5E5;
|
|
964
|
-
|
|
965
|
-
.header {
|
|
966
|
-
font-family: @segoeUIFont;
|
|
967
|
-
font-size: 2em;
|
|
968
|
-
font-weight: 400;
|
|
969
|
-
padding: 4rem 2rem 2rem;
|
|
970
|
-
}
|
|
964
|
+
padding-top: 1rem;
|
|
971
965
|
|
|
972
966
|
.search {
|
|
973
967
|
width: 100%;
|
|
@@ -1045,6 +1039,11 @@ Field editors
|
|
|
1045
1039
|
border-radius: 1.6rem;
|
|
1046
1040
|
cursor: pointer;
|
|
1047
1041
|
color: @extensionTagColor;
|
|
1042
|
+
background-color: inherit;
|
|
1043
|
+
}
|
|
1044
|
+
|
|
1045
|
+
.extension-tag:hover {
|
|
1046
|
+
background-color: @extensionTagBackgroundColor;
|
|
1048
1047
|
}
|
|
1049
1048
|
|
|
1050
1049
|
.extension-tag.selected {
|