--- lib/default_theme.json.orig	2023-03-21 18:21:51.000000000 +0800
+++ lib/default_theme.json	2025-10-18 16:08:20.000000000 +0800
@@ -179,7 +179,7 @@
     fg_color_selected: "red",
     fill: true,
     focusable: true,
-    font_desc: { family:"Bitstream Vera Sans Mono", size:14 },
+    font_desc: { family:"Liberation Sans", size:14 },
     cursor_width: 2,
     cursor_color: "pink",
     active_cursor_color: "0xff0000cc",