From 482165424e02a959dd7cf5813dbb8d7b31c67d4c Mon Sep 17 00:00:00 2001 From: ds6 Date: Thu, 30 Aug 2018 05:33:43 -0500 Subject: [PATCH] fixed wrong font (Noto -> Source) in user.js --- firefox/user-overrides.js | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/firefox/user-overrides.js b/firefox/user-overrides.js index 3f138d0..8912941 100644 --- 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"); -- 2.47.0