fixed wrong font (Noto -> Source) in user.js

diff --git a/firefox/user-overrides.js b/firefox/user-overrides.js
index 3f138d09d556bfcb31ac50b3cb6d0c8c9a84ce5e..89129419296648b50ee6d5445ea2caa3e094f5d6 100644 (file)
--- a/firefox/user-overrides.js
+++ b/firefox/user-overrides.js
@@ -86,8 +86,8 @@ user_pref("security.ssl3.dhe_rsa_aes_256_sha", false);
 
 // 1401
 //user_pref("browser.display.use_document_fonts", 1);
-user_pref("font.name.serif.x-unicode", "Noto Serif Display");
-user_pref("font.name.serif.x-western", "Noto Serif Display");
+user_pref("font.name.serif.x-unicode", "Source Serif Pro");
+user_pref("font.name.serif.x-western", "Source Serif Pro");
 user_pref("font.name.sans-serif.x-unicode", "Source Sans Pro");
 user_pref("font.name.sans-serif.x-western", "Source Sans pro");
 user_pref("font.name.monospace.x-unicode", "Dina");