following the experiments of PR #1983 settling for grey8 background w…

…ith bright white foreground inside the bar and normal text outside the bar; also dropped all the underline and overline fringes for better consistency acros themes. works well with both dark and white themes now, due to the forced bright white foreground and they middle gray which has best contrast if you need to optimize for both dark and light backgrounds at the same time

src/org/rascalmpl/repl/TerminalProgressBarMonitor.java

@@ -329,13 +329,13 @@ else if (barWidth <= 3) { // we can print the clock for good measure
 
             var line 
                 = done 
-                + ANSI.lightBackground() 
-                + ANSI.underlined()
-                + ANSI.overlined()
+                + ANSI.grey8Background()
+                + ANSI.brightWhiteForeground()
                 + frontPart
                 + ANSI.noBackground()
-                + backPart
                 + ANSI.normal()
+                + backPart
+                // + ANSI.normal()
                 + " " + clock + " "
                 + String.format("%d:%02d:%02d.%03d", duration.toHoursPart(), duration.toMinutes(), duration.toSecondsPart(), duration.toMillisPart())
                 + " "
@@ -406,6 +406,14 @@ static boolean isUTF8enabled(PrintWriter writer, InputStream in) {
             }
         }
 
+        public static String grey8Background() {
+            return "\u001B[48;5;240m"; 
+        }
+
+        public static String brightWhiteForeground() {
+            return "\u001B[97m";
+        }
+
         static int getCursorPosition(PrintWriter writer, InputStream in) throws IOException {
             writer.write(ANSI.printCursorPosition());
             writer.flush();