From eeb7b3eb112057d4fa840a6b5094707ed547ee0b Mon Sep 17 00:00:00 2001 From: EMH-Mark-I Date: Sun, 9 Jan 2022 21:22:55 -0600 Subject: [PATCH] Whisker & application menu default font list. --- Theme/Chicago95/gtk-3.0/apps/whiskermenu.css | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Theme/Chicago95/gtk-3.0/apps/whiskermenu.css b/Theme/Chicago95/gtk-3.0/apps/whiskermenu.css index 1019914..1400d43 100644 --- a/Theme/Chicago95/gtk-3.0/apps/whiskermenu.css +++ b/Theme/Chicago95/gtk-3.0/apps/whiskermenu.css @@ -38,7 +38,7 @@ the whisker menu without having to correct their pointer location. */ padding: 1px; border: none; color: black; - font-family: "MS Sans Serif Bold", Sans, Sans-Serif; + font-family: "Microsoft Sans Serif", Sans, Sans-Serif; font-weight: bold; } /****************