From fd5d6cd23d31417c8c1030f75ed07d49c5924217 Mon Sep 17 00:00:00 2001 From: Colin Date: Fri, 6 Dec 2024 00:11:09 +0000 Subject: [PATCH] firefox: customize the reader mode --- hosts/common/programs/firefox/user.js | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/hosts/common/programs/firefox/user.js b/hosts/common/programs/firefox/user.js index 8d1a34b19..344661651 100644 --- a/hosts/common/programs/firefox/user.js +++ b/hosts/common/programs/firefox/user.js @@ -92,6 +92,12 @@ defaultPref("browser.uiCustomization.state", `{ // 2 to show the window close button (default) defaultPref("browser.tabs.inTitlebar", 0); +defaultPref("reader.font_size", 9); // not the normal meaning of font size: these are discrete options with no gaps, like 1,2,3,... +defaultPref("reader.font_type", "serif"); +defaultPref("reader.color_scheme", "custom"); +defaultPref("reader.custom_colors.background", "#fff1e5"); //< mimic ft.com colors +defaultPref("reader.custom_colors.foreground", "#241f31"); + // TODO: don't hardcode `colin` defaultPref("browser.download.lastDir", "/home/colin/tmp"); // defaultPref("browser.download.autohideButton", false); //< optional, to always show DL button