correct font family names

faustedition · Jun 27, 2018 · 1e992ed · 1e992ed
1 parent ffb6ae7
commit 1e992ed
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/src/main/preprint-web/css/document-transcript.css b/src/main/preprint-web/css/document-transcript.css
@@ -93,7 +93,7 @@ svg.diplomatic .text.hand-g {
 }
 
 svg.diplomatic .text.hand-xx {
-	font-family: "Ubuntu Monospace";
+	font-family: "Ubuntu Mono";
 }
 
 /* writing material  */

diff --git a/svg_rendering/page/js-gen/loadwebfonts.js b/svg_rendering/page/js-gen/loadwebfonts.js
@@ -34,7 +34,7 @@ if (window.Faust === undefined) {
         var fontError = false;
         var webFontConfig = {
             custom: {
-                families: ['Ubuntu derivative Faust', 'Ubuntu Monospace', 'Gentium Plus'],
+                families: ['Ubuntu derivative Faust', 'Ubuntu Mono', 'Gentium Plus'],
                 // we don not need to specify urls as they are specified in the css files
                 urls: ['/css/webfonts.css']
             },