Revert "Remove JuliaMono Latin subsets, fix #3029"

This reverts commit a113812.
fonsp · Oct 2, 2024 · d4cd52b · d4cd52b
1 parent a113812
commit d4cd52b
Show file tree

Hide file tree

Showing 2 changed files with 16 additions and 2 deletions.
diff --git a/frontend/editor.css b/frontend/editor.css
@@ -3464,8 +3464,6 @@ 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,3 +1,19 @@
+@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");