wip fonts

software/theia/buildout.hash.cfg

@@ -31,4 +31,4 @@ md5sum = b6e5ebd004c6336ae8d9d4ee24412b8a
 
 [slapos.css.in]
 filename = slapos.css.in
-md5sum = 3ed13872f1c540e170075c7535e69fb3
+md5sum = 456dd5931e7c86456c69af062a2d2368

software/theia/slapos.css.in

@@ -162,9 +162,9 @@
   font-weight: 700;
   font-feature-settings: "calt" 1, "zero" 1;
   font-display: swap;
-  src: url("/fonts/jetbrains-mono/web/JetBrainsMono-Bold-Italic.eot") format("embedded-opentype"),
-       url("/fonts/jetbrains-mono/web/JetBrainsMono-Bold-Italic.woff2") format("woff2"),
-       url("/fonts/jetbrains-mono/web/JetBrainsMono-Bold-Italic.woff") format("woff")
+  src: url("/fonts/jetbrains-mono/web/eot/JetBrainsMono-Bold-Italic.eot") format("embedded-opentype"),
+       url("/fonts/jetbrains-mono/web/woff2/JetBrainsMono-Bold-Italic.woff2") format("woff2"),
+       url("/fonts/jetbrains-mono/web/woff/JetBrainsMono-Bold-Italic.woff") format("woff"),
        url("/fonts/jetbrains-mono/ttf/JetBrainsMono-Bold-Italic.ttf") format("truetype");
 }
 
@@ -175,9 +175,9 @@
   font-weight: 700;
   font-feature-settings: "calt" 1, "zero" 1;
   font-display: swap;
-  src: url("/fonts/jetbrains-mono/web/JetBrainsMono-Bold.eot") format("embedded-opentype"),
-       url("/fonts/jetbrains-mono/web/JetBrainsMono-Bold.woff2") format("woff2"),
-       url("/fonts/jetbrains-mono/web/JetBrainsMono-Bold.woff") format("woff")
+  src: url("/fonts/jetbrains-mono/web/eot/JetBrainsMono-Bold.eot") format("embedded-opentype"),
+       url("/fonts/jetbrains-mono/web/woff2/JetBrainsMono-Bold.woff2") format("woff2"),
+       url("/fonts/jetbrains-mono/web/woff/JetBrainsMono-Bold.woff") format("woff"),
        url("/fonts/jetbrains-mono/ttf/JetBrainsMono-Bold.ttf") format("truetype");
 }
 
@@ -188,9 +188,9 @@
   font-weight: 800;
   font-feature-settings: "calt" 1, "zero" 1;
   font-display: swap;
-  src: url("/fonts/jetbrains-mono/web/JetBrainsMono-ExtraBold-Italic.eot") format("embedded-opentype"),
-       url("/fonts/jetbrains-mono/web/JetBrainsMono-ExtraBold-Italic.woff2") format("woff2"),
-       url("/fonts/jetbrains-mono/web/JetBrainsMono-ExtraBold-Italic.woff") format("woff")
+  src: url("/fonts/jetbrains-mono/web/eot/JetBrainsMono-ExtraBold-Italic.eot") format("embedded-opentype"),
+       url("/fonts/jetbrains-mono/web/woff2/JetBrainsMono-ExtraBold-Italic.woff2") format("woff2"),
+       url("/fonts/jetbrains-mono/web/woff/JetBrainsMono-ExtraBold-Italic.woff") format("woff"),
        url("/fonts/jetbrains-mono/ttf/JetBrainsMono-ExtraBold-Italic.ttf") format("truetype");
 }
 
@@ -201,9 +201,9 @@
   font-weight: 800;
   font-feature-settings: "calt" 1, "zero" 1;
   font-display: swap;
-  src: url("/fonts/jetbrains-mono/web/JetBrainsMono-ExtraBold.eot") format("embedded-opentype"),
-       url("/fonts/jetbrains-mono/web/JetBrainsMono-ExtraBold.woff2") format("woff2"),
-       url("/fonts/jetbrains-mono/web/JetBrainsMono-ExtraBold.woff") format("woff")
+  src: url("/fonts/jetbrains-mono/web/eot/JetBrainsMono-ExtraBold.eot") format("embedded-opentype"),
+       url("/fonts/jetbrains-mono/web/woff2/JetBrainsMono-ExtraBold.woff2") format("woff2"),
+       url("/fonts/jetbrains-mono/web/woff/JetBrainsMono-ExtraBold.woff") format("woff"),
        url("/fonts/jetbrains-mono/ttf/JetBrainsMono-ExtraBold.ttf") format("truetype");
 }
 
@@ -214,9 +214,9 @@
   font-weight: 400;
   font-feature-settings: "calt" 1, "zero" 1;
   font-display: swap;
-  src: url("/fonts/jetbrains-mono/web/JetBrainsMono-Italic.eot") format("embedded-opentype"),
-       url("/fonts/jetbrains-mono/web/JetBrainsMono-Italic.woff2") format("woff2"),
-       url("/fonts/jetbrains-mono/web/JetBrainsMono-Italic.woff") format("woff")
+  src: url("/fonts/jetbrains-mono/web/eot/JetBrainsMono-Italic.eot") format("embedded-opentype"),
+       url("/fonts/jetbrains-mono/web/woff2/JetBrainsMono-Italic.woff2") format("woff2"),
+       url("/fonts/jetbrains-mono/web/woff/JetBrainsMono-Italic.woff") format("woff"),
        url("/fonts/jetbrains-mono/ttf/JetBrainsMono-Italic.ttf") format("truetype");
 }
 
@@ -227,9 +227,9 @@
   font-weight: 500;
   font-feature-settings: "calt" 1, "zero" 1;
   font-display: swap;
-  src: url("/fonts/jetbrains-mono/web/JetBrainsMono-Medium-Italic.eot") format("embedded-opentype"),
-       url("/fonts/jetbrains-mono/web/JetBrainsMono-Medium-Italic.woff2") format("woff2"),
-       url("/fonts/jetbrains-mono/web/JetBrainsMono-Medium-Italic.woff") format("woff")
+  src: url("/fonts/jetbrains-mono/web/eot/JetBrainsMono-Medium-Italic.eot") format("embedded-opentype"),
+       url("/fonts/jetbrains-mono/web/woff2/JetBrainsMono-Medium-Italic.woff2") format("woff2"),
+       url("/fonts/jetbrains-mono/web/woff/JetBrainsMono-Medium-Italic.woff") format("woff"),
        url("/fonts/jetbrains-mono/ttf/JetBrainsMono-Medium-Italic.ttf") format("truetype");
 }
 
@@ -240,9 +240,9 @@
   font-weight: 500;
   font-feature-settings: "calt" 1, "zero" 1;
   font-display: swap;
-  src: url("/fonts/jetbrains-mono/web/JetBrainsMono-Medium.eot") format("embedded-opentype"),
-       url("/fonts/jetbrains-mono/web/JetBrainsMono-Medium.woff2") format("woff2"),
-       url("/fonts/jetbrains-mono/web/JetBrainsMono-Medium.woff") format("woff")
+  src: url("/fonts/jetbrains-mono/web/eot/JetBrainsMono-Medium.eot") format("embedded-opentype"),
+       url("/fonts/jetbrains-mono/web/woff2/JetBrainsMono-Medium.woff2") format("woff2"),
+       url("/fonts/jetbrains-mono/web/woff/JetBrainsMono-Medium.woff") format("woff"),
        url("/fonts/jetbrains-mono/ttf/JetBrainsMono-Medium.ttf") format("truetype");
 }
 
@@ -253,8 +253,8 @@
   font-weight: 400;
   font-feature-settings: "calt" 1, "zero" 1;
   font-display: swap;
-  src: url("/fonts/jetbrains-mono/web/JetBrainsMono-Regular.eot") format("embedded-opentype"),
-       url("/fonts/jetbrains-mono/web/JetBrainsMono-Regular.woff2") format("woff2"),
-       url("/fonts/jetbrains-mono/web/JetBrainsMono-Regular.woff") format("woff")
+  src: url("/fonts/jetbrains-mono/web/eot/JetBrainsMono-Regular.eot") format("embedded-opentype"),
+       url("/fonts/jetbrains-mono/web/woff2/JetBrainsMono-Regular.woff2") format("woff2"),
+       url("/fonts/jetbrains-mono/web/woff/JetBrainsMono-Regular.woff") format("woff"),
        url("/fonts/jetbrains-mono/ttf/JetBrainsMono-Regular.ttf") format("truetype");
 }