Stop gray text from making everything bold.

sdk/lib/_internal/pub/lib/src/log.dart

Index: sdk/lib/_internal/pub/lib/src/log.dart
diff --git a/sdk/lib/_internal/pub/lib/src/log.dart b/sdk/lib/_internal/pub/lib/src/log.dart
index eaf873202838cbb3043ecb35117bb3147afdab63..0c10d6cc20bc99ac63f93f2fc5c7550f01a1295f 100644
--- a/sdk/lib/_internal/pub/lib/src/log.dart
+++ b/sdk/lib/_internal/pub/lib/src/log.dart
@@ -361,7 +361,11 @@ String bold(text) => withPrejudice ? text : "$_bold$text$_none";
 /// that supports that.
 ///
 /// Use this for text that's less important than the text around it.
-String gray(text) => "$_gray$text$_noColor";
+///
+/// The gray marker also enables bold, so it needs to be handled specially with
+/// [withPrejudice] to avoid disabling bolding entirely.
+String gray(text) =>
+    withPrejudice ? "$_gray$text$_noColor" : "$_gray$text$_none";
 
 /// Wraps [text] in the ANSI escape codes to color it cyan when on a platform
 /// that supports that.