Updated the EB Garamond font to a higher-resolution version

13 years ago · 9501e133f5
parent 97c45455fd
commit 9501e133f5
2 changed files with 6 additions and 3 deletions
--- a/files/launcher.qss
+++ b/files/launcher.qss
@ -22,7 +22,8 @@
        stop:0.9 rgba(0, 0, 0, 55),
        stop:1 rgba(0, 0, 0, 100));

-    font: 26pt "EB Garamond";
+    font-size: 26pt;
+    font-family: "EB Garamond", "EB Garamond 08";
    color: black;

    border-right: 1px solid rgba(0, 0, 0, 155);
@ -54,7 +55,8 @@
 }

 #ProfileLabel {
-    font: 18pt "EB Garamond";
+    font-size: 18pt;
+    font-family: "EB Garamond", "EB Garamond 08";
 }

 #ProfilesComboBox {
@ -82,7 +84,8 @@
    padding-top: 3px;
    padding-left: 4px;

-    font: 12pt "EB Garamond";
+    font-size: 12pt;
+    font-family: "EB Garamond", "EB Garamond 08";
 }

 #ProfilesComboBox::drop-down {
--- a/files/mygui/EBGaramond-Regular.ttf
+++ b/files/mygui/EBGaramond-Regular.ttf