diff options
Diffstat (limited to 'app')
-rw-r--r-- | app/Resources/static/themes/_global/index.js | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/app/Resources/static/themes/_global/index.js b/app/Resources/static/themes/_global/index.js index 315fc0ad..88365270 100644 --- a/app/Resources/static/themes/_global/index.js +++ b/app/Resources/static/themes/_global/index.js | |||
@@ -5,6 +5,7 @@ import $ from 'jquery'; | |||
5 | import annotator from 'annotator'; | 5 | import annotator from 'annotator'; |
6 | 6 | ||
7 | import ClipboardJS from 'clipboard'; | 7 | import ClipboardJS from 'clipboard'; |
8 | import 'mathjax/es5/tex-svg'; | ||
8 | 9 | ||
9 | /* Fonts */ | 10 | /* Fonts */ |
10 | import 'material-design-icons-iconfont/dist/material-design-icons.css'; | 11 | import 'material-design-icons-iconfont/dist/material-design-icons.css'; |