From bf679bbba288ec37000fc3e80971f4a2e9b14174 Mon Sep 17 00:00:00 2001
From: Anthony Perkins <anthony@acperkins.com>
Date: Mon, 20 Nov 2023 09:42:45 +0000
Subject: [PATCH] Firefox: Use Berkeley Mono font

---
 roles/home-gui/files/user.js | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/roles/home-gui/files/user.js b/roles/home-gui/files/user.js
index 90742dc..1fb3c8e 100644
--- a/roles/home-gui/files/user.js
+++ b/roles/home-gui/files/user.js
@@ -37,8 +37,8 @@ user_pref("extensions.pocket.site", "0.0.0.0");
 user_pref("font.default.x-unicode", "sans-serif");
 user_pref("font.default.x-western", "sans-serif");
 user_pref("font.language.group", "x-unicode");
-user_pref("font.name.monospace.x-unicode", "monospace");
-user_pref("font.name.monospace.x-western", "monospace");
+user_pref("font.name.monospace.x-unicode", "Berkeley Mono");
+user_pref("font.name.monospace.x-western", "Berkeley Mono");
 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");