Added XITS font for unicode typesetting

src/uni.rs

@@ -17,7 +17,7 @@ impl UnicodeRenderer {
     }
 
     pub(crate) fn render_formula(&self, formula: &Formula) -> Result<String, String> {
-        let mut output: String = "⊢ ".into();
+        let mut output: String = "<span class=\"uni\"><span color=\"gray\">⊢</span> ".into();
         //        write!(output, "{} ", as_str(if use_provables
         let typesetting = self.database.typesetting_result();
         let nset = self.database.name_result();
@@ -34,11 +34,12 @@ impl UnicodeRenderer {
             )
             .unwrap();
         }
+        write!(output, "</span>").unwrap();
         Ok(output)
     }
 
     pub(crate) fn render_statement(&self, sref: &StatementRef) -> Result<String, String> {
-        let mut output: String = "".into();
+        let mut output: String = "<span class=\"uni\">".into();
         let typesetting = self.database.typesetting_result();
         for token in sref.math_iter() {
             write!(
@@ -52,6 +53,7 @@ impl UnicodeRenderer {
             )
             .unwrap();
         }
+        write!(output, "</span>").unwrap();
         Ok(output)
     }
 }

static/metamath.css

@@ -1,3 +1,8 @@
+@font-face {
+    font-family: XITSMath-Regular;
+    src: url("/static/xits-math.woff");
+}
+
 body {
     color: #001;
     font-family: Bitter,'Times New Roman', Times, serif;
@@ -183,6 +188,7 @@ ol.breadcrumb li:not(:last-child)::after, nav.typesettings ul li:not(:last-child
     margin: 0 10px;
 }
 
+.uni { font-family: Bitter,'Times New Roman', Times, serif, XITSMath-Regular }
 mjx-container { margin: .3em 0em !important }
 mjx-container { float: left!important; width: inherit !important; text-align: left !important; }
 mjx-container { display: inline-block!important; }