pretty-print: make separator line grey

Let's deemphasize the line in the output a bit.

diff --git a/src/shared/pretty-print.c b/src/shared/pretty-print.c
index c75f74a6c6e8fd2d91ab34c8fd24e3064498fa37..2c46f3e2dcfd89384759fbcf0a0fd33018562449 100644 (file)
--- a/src/shared/pretty-print.c
+++ b/src/shared/pretty-print.c
@@ -289,7 +289,7 @@ void print_separator(void) {
                 size_t c = columns();
 
                 flockfile(stdout);
-                fputs_unlocked(ANSI_UNDERLINE, stdout);
+                fputs_unlocked(ANSI_GREY_UNDERLINE, stdout);
 
                 for (size_t i = 0; i < c; i++)
                         fputc_unlocked(' ', stdout);