From d594be1ac0795ad768e52938e05020fcbd24cd7b Mon Sep 17 00:00:00 2001
From: Johannes Kapfhammer <jkapfham@ethz.ch>
Date: Sun, 6 Oct 2019 17:36:04 +0200
Subject: [PATCH] tweak colors

---
 include/bits/soi-dbg.hpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/include/bits/soi-dbg.hpp b/include/bits/soi-dbg.hpp
index dc5e2e1..b45b678 100644
--- a/include/bits/soi-dbg.hpp
+++ b/include/bits/soi-dbg.hpp
@@ -182,11 +182,11 @@ static const char* ANSI_RESET = "";
 void dbg_init(bool with_colors) {
   if (with_colors) {
     bool colors_enabled = true;
-    ANSI_DEBUG = "\x1b[02m";
+    ANSI_DEBUG = "\x1b[37m";
     ANSI_EXPRESSION = "\x1b[36m";
     ANSI_VALUE = "\x1b[01m";
     ANSI_TYPE = "\x1b[32m";
-    ANSI_MESSAGE = "\x1b[31m\x1b[01m";
+    ANSI_MESSAGE = "\x1b[31;01m";
     ANSI_RESET = "\x1b[0m";
   } else {
     bool colors_enabled = false;