src/Pure/System/progress.scala

--- a/src/Pure/System/progress.scala	Fri Oct 17 21:34:24 2025 +0200
+++ b/src/Pure/System/progress.scala	Fri Oct 17 21:58:33 2025 +0200
@@ -237,7 +237,7 @@
   override def status_output(msgs: Progress.Output): Unit = synchronized {
     for (msg <- msgs if do_output(msg)) {
       val txt0 = msg.message.output_text
-      val txt1 = if (msg.status) "\u001b[7m" + txt0 + "\u001b[27m" else txt0
+      val txt1 = if (msg.status) "\u001b[7m" + txt0 + "\u001b[0m" else txt0
       Output.output(txt1, stdout = !stderr, include_empty = true)
     }
   }