remove share tech mono (#6699)

microsoft · Feb 20, 2025 · 580ab92 · 580ab92
1 parent ee5ba83
commit 580ab92
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 14 deletions.
diff --git a/theme/site/globals/site.variables b/theme/site/globals/site.variables
@@ -12,14 +12,14 @@
      Fonts
 --------------------*/
 
-@headerFont        : "Share Tech Mono", Monaco, Menlo, "Ubuntu Mono", Consolas, source-code-pro, monospace;
-@pageFont          : "Share Tech Mono", Monaco, Menlo, "Ubuntu Mono", Consolas, source-code-pro, monospace;
+@headerFont        : 'Segoe UI', 'Segoe UI Web (West European)', -apple-system, BlinkMacSystemFont, Roboto, 'Helvetica Neue', sans-serif;
+@pageFont          : 'Segoe UI', 'Segoe UI Web (West European)', -apple-system, BlinkMacSystemFont, Roboto, 'Helvetica Neue', sans-serif;
 
-@docsHeaderFont: 'Helvetica Neue', Arial, Helvetica, sans-serif;
-@docsPageFont: 'Helvetica Neue', Arial, Helvetica, sans-serif;
+@docsHeaderFont: 'Segoe UI', 'Segoe UI Web (West European)', -apple-system, BlinkMacSystemFont, Roboto, 'Helvetica Neue', sans-serif;
+@docsPageFont: 'Segoe UI', 'Segoe UI Web (West European)', -apple-system, BlinkMacSystemFont, Roboto, 'Helvetica Neue', sans-serif;
 
 @importGoogleFonts: false;
-@fontName: "Share Tech Mono";
+@fontName: "Segoe UI";
 
 /*-------------------
       Site Colors

diff --git a/theme/style.less b/theme/style.less
@@ -13,15 +13,6 @@
     Add your custom CSS here
 *******************************/
 
-/* Open Sans font */
-@font-face {
-    font-family: 'Share Tech Mono';
-    font-style: normal;
-    font-weight: 400;
-    src: local('Share Tech Mono'),
-         data-uri('../docs/static/fonts/ShareTechMono-Regular.woff') format('woff'); /* Chrome 6+, Firefox 3.6+, IE 9+, Safari 5.1+ */
-}
-
 .simtoolbar .ui.button,
 .ui.button.play-button,
 .ui.button.restart-button,
@@ -97,6 +88,10 @@
     }
 }
 
+span.blocklyTreeLabel {
+    font-weight: 500;
+}
+
 /* Mobile */
 @media only screen and (max-width: @largestMobileScreen) {
 }