From c479014bd7d07c7e2c48fe73227e93d886cdc1b5 Mon Sep 17 00:00:00 2001 From: Anthony Perkins Date: Tue, 25 Jan 2022 17:56:31 +0000 Subject: [PATCH] Use generic font names --- roles/home-gui/files/user.js | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/roles/home-gui/files/user.js b/roles/home-gui/files/user.js index 62afecc..955cf75 100644 --- a/roles/home-gui/files/user.js +++ b/roles/home-gui/files/user.js @@ -18,6 +18,12 @@ user_pref("browser.startup.homepage", "about:newtab"); user_pref("browser.tabs.warnOnClose", true); user_pref("browser.toolbars.bookmarks.2h2020", true); user_pref("datareporting.healthreport.uploadEnabled", false); +user_pref("font.name.monospace.x-unicode", "monospace"); +user_pref("font.name.monospace.x-western", "monospace"); +user_pref("font.name.sans-serif.x-unicode", "sans-serif"); +user_pref("font.name.sans-serif.x-western", "sans-serif"); +user_pref("font.name.serif.x-unicode", "serif"); +user_pref("font.name.serif.x-western", "serif"); user_pref("general.smoothScroll", false); user_pref("media.peerconnection.enabled", true); user_pref("network.security.ports.banned.override", "6697");