diff -r 8c005a92c65f -r a25a456f81b7 src/Pure/Build/browser_info.scala --- a/src/Pure/Build/browser_info.scala Sun Dec 08 00:05:35 2024 +0100 +++ b/src/Pure/Build/browser_info.scala Sun Dec 08 11:49:55 2024 +0100 @@ -521,7 +521,7 @@ case _ => body1 } - Rendering.get_foreground(markup.name) orElse Rendering.get_text_color(markup) match { + Rendering.get_foreground_text_color(markup) match { case Some(c) => (html_class(c.toString, html), offset) case None => (html_class(markup.name, html), offset) }