From 772427d788e7e8fe0ba6abea635dcf72b082b360 Mon Sep 17 00:00:00 2001 From: Fabian Homborg Date: Sat, 27 Nov 2021 13:34:21 +0100 Subject: [PATCH] Coolbeans theme: Pick an option color We should do this more --- share/tools/web_config/themes/coolbeans.theme | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/share/tools/web_config/themes/coolbeans.theme b/share/tools/web_config/themes/coolbeans.theme index 2e0cbed5f..dfbd78eb9 100644 --- a/share/tools/web_config/themes/coolbeans.theme +++ b/share/tools/web_config/themes/coolbeans.theme @@ -29,4 +29,4 @@ fish_pager_color_description 666 fish_pager_color_prefix '--underline' '0AA' fish_pager_color_progress 0AA fish_pager_color_selected_background --background=333 -fish_color_option ccccff +fish_color_option aaaaff