From 2da604a6e2bf1d53bf5ac4a4a0607fca36824032 Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Mon, 1 Jul 2019 09:09:19 +0200
Subject: [PATCH] terminal: make color 4 less green, less saturated

Issue #3406
---
 repos/gems/src/server/terminal/color_palette.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/repos/gems/src/server/terminal/color_palette.h b/repos/gems/src/server/terminal/color_palette.h
index 8dd4c654b6..7f82fed4b2 100644
--- a/repos/gems/src/server/terminal/color_palette.h
+++ b/repos/gems/src/server/terminal/color_palette.h
@@ -47,7 +47,7 @@ class Terminal::Color_palette
 			" <color index=\"1\"  value=\"#AC4142\"/>" /* red */
 			" <color index=\"2\"  value=\"#90A959\"/>" /* green */
 			" <color index=\"3\"  value=\"#F4BF75\"/>" /* yellow */
-			" <color index=\"4\"  value=\"#6A9FB5\"/>" /* blue */
+			" <color index=\"4\"  value=\"#7686BD\"/>" /* blue */
 			" <color index=\"5\"  value=\"#AA759F\"/>" /* magenta */
 			" <color index=\"6\"  value=\"#75B5AA\"/>" /* cyan */
 			" <color index=\"7\"  value=\"#D0D0D0\"/>" /* white */