add static version of font-awesome 4.7

src/sh2.less

@@ -30,33 +30,6 @@
 
 @soft-blue: #729fcf;
 
-/*
-@font-face {
-  font-family: 'JetBrains Mono';
-  font-style: normal;
-  font-weight: 200;
-  src: local(''),
-       url('../static/fonts/jetbrains-mono-v13-latin-200.woff2') format('woff2'),
-       url('../static/fonts/jetbrains-mono-v13-latin-200.woff') format('woff');
-}
-@font-face {
-  font-family: 'JetBrains Mono';
-  font-style: normal;
-  font-weight: 400;
-  src: local(''),
-       url('../static/fonts/jetbrains-mono-v13-latin-regular.woff2') format('woff2'),
-       url('../static/fonts/jetbrains-mono-v13-latin-regular.woff') format('woff');
-}
-@font-face {
-  font-family: 'JetBrains Mono';
-  font-style: normal;
-  font-weight: 700;
-  src: local(''),
-       url('../static/fonts/jetbrains-mono-v13-latin-700.woff2') format('woff2'),
-       url('../static/fonts/jetbrains-mono-v13-latin-700.woff') format('woff');
-}
-*/
-
 .mono-font(@size: inherit, @weight: inherit) {
     font-family: 'JetBrains Mono', monospace;
     font-size: @size;

src/sh2.ts

@@ -14,12 +14,15 @@ let VERSION = __SHVERSION__;
 let jbmFontNormal = new FontFace("JetBrains Mono", "url('static/fonts/jetbrains-mono-v13-latin-regular.woff2')", {style: "normal", weight: "400"});
 let jbmFont200 = new FontFace("JetBrains Mono", "url('static/fonts/jetbrains-mono-v13-latin-200.woff2')", {style: "normal", weight: "200"});
 let jbmFont700 = new FontFace("JetBrains Mono", "url('static/fonts/jetbrains-mono-v13-latin-700.woff2')", {style: "normal", weight: "700"});
-let loadPromise = document.fonts.add(jbmFontNormal);
+let faFont = new FontFace("FontAwesome", "url(static/fonts/fontawesome-webfont-4.7.woff2)", {style: "normal", weight: "normal"});
+document.fonts.add(jbmFontNormal);
 document.fonts.add(jbmFont200);
 document.fonts.add(jbmFont700);
+document.fonts.add(faFont);
 jbmFontNormal.load();
 jbmFont200.load();
 jbmFont700.load();
+faFont.load();
 
 document.addEventListener("DOMContentLoaded", () => {
     let reactElem = React.createElement(Main, null, null);

static/index.html

@@ -5,7 +5,7 @@
     <script src="dist/sh2-dev.js"></script>
     <link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/bulma@0.9.2/css/bulma.min.css">
     <link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/bulma-switch@2.0.4/dist/css/bulma-switch.min.css">
-    <link rel="stylesheet" href="https://cdnjs.cloudflare.com/ajax/libs/font-awesome/4.7.0/css/font-awesome.min.css">
+    <link rel="stylesheet" href="static/font-awesome.min.css">
     <link rel="stylesheet" href="static/xterm.css" />
     <link rel="stylesheet" href="dist/sh2.css" />
   </head>