From 2952c060423a589ef8c684dbbef2771b48a34f45 Mon Sep 17 00:00:00 2001
From: jojohoch <joachim.hoch@iqb.hu-berlin.de>
Date: Wed, 30 Nov 2022 16:23:19 +0100
Subject: [PATCH] [player] Add fonts for math editor
---
angular.json | 5 +++++
projects/player/src/html_wrapper/index.html | 1 +
2 files changed, 6 insertions(+)
diff --git a/angular.json b/angular.json
index 8c1670db1..031c19422 100644
--- a/angular.json
+++ b/angular.json
@@ -145,6 +145,11 @@
"glob": "**/*",
"input": "./projects/common/assets",
"output": "assets"
+ },
+ {
+ "glob": "**/*",
+ "input": "./projects/common/assets/fonts/mathlive",
+ "output": "fonts"
}
],
"styles": [
diff --git a/projects/player/src/html_wrapper/index.html b/projects/player/src/html_wrapper/index.html
index 2b8cddfbf..8f5e5a985 100644
--- a/projects/player/src/html_wrapper/index.html
+++ b/projects/player/src/html_wrapper/index.html
@@ -46,6 +46,7 @@
<link href="player/assets/ptsans.css" rel="stylesheet">
<link href="player/assets/notoSansSymbols2.css" rel="stylesheet">
<link href="player/assets/material-icons.css" rel="stylesheet">
+ <link href="player/assets/mathlive-fonts.css" rel="stylesheet">
</head>
<body>
<script type="text/javascript" src="player.js"></script>
--
GitLab