Remove JuliaMono Latin subsets, fix #3029

fonsp · Oct 1, 2024 · a113812 · a113812
1 parent 53e1981
commit a113812
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 16 deletions.
diff --git a/frontend/editor.css b/frontend/editor.css
@@ -3464,6 +3464,8 @@ pluto-cell.code_differs .cm-editor .cm-gutters {
     position: absolute;
     right: 3px;
     pointer-events: none;
+    font-family: Arial;
+    transform: scale(1.8);
 }
 .cm-editor .cm-lineNumbers .cm-gutterElement:hover {
     color: var(--cm-color-line-numbers);

diff --git a/frontend/fonts/juliamono.css b/frontend/fonts/juliamono.css
@@ -1,19 +1,3 @@
-@font-face {
-    font-family: JuliaMono;
-    src: url("https://cdn.jsdelivr.net/gh/cormullion/[email protected]/webfonts/JuliaMono-RegularLatin.woff2") format("woff2");
-    font-display: swap;
-    font-weight: 400;
-    unicode-range: U+00-7F; /* Basic Latin characters */
-}
-
-@font-face {
-    font-family: JuliaMono;
-    src: url("https://cdn.jsdelivr.net/gh/cormullion/[email protected]/webfonts/JuliaMono-BoldLatin.woff2") format("woff2");
-    font-display: swap;
-    font-weight: 700;
-    unicode-range: U+00-7F; /* Basic Latin characters */
-}
-
 @font-face {
     font-family: JuliaMono;
     src: url("https://cdn.jsdelivr.net/gh/cormullion/[email protected]/webfonts/JuliaMono-Regular.woff2") format("woff2");