diff --git a/angular.json b/angular.json index 8c1670db17fcd7b172d68e63b0222d4d5b0155e2..031c19422278ba5f75afad5792f51a40ee521531 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 2b8cddfbf55e5671bb3cf516d90b00b086906c74..8f5e5a98590b409474fb7b3a42c757fefdd0d775 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>