# HG changeset patch
# User wenzelm
# Date 1733612735 -3600
# Node ID 8c005a92c65f8fc5c4c9fd7ea3a80f03b33fbae6
# Parent  770a1644c9516b4c3ba36c32167726e8375a0bf8
tuned;

diff -r 770a1644c951 -r 8c005a92c65f src/Pure/Build/browser_info.scala
--- a/src/Pure/Build/browser_info.scala	Sat Dec 07 23:40:29 2024 +0100
+++ b/src/Pure/Build/browser_info.scala	Sun Dec 08 00:05:35 2024 +0100
@@ -513,7 +513,6 @@
             if (kind == Markup.ENUMERATE) (List(HTML.`enum`(body1)), offset)
             else (List(HTML.list(body1)), offset)
           case XML.Elem(markup, body) =>
-            val name = markup.name
             val (body1, offset) = html_body(body, end_offset)
             val html =
               markup.properties match {
@@ -522,9 +521,9 @@
                 case _ =>
                   body1
               }
-            Rendering.get_foreground(name) orElse Rendering.get_text_color(markup) match {
+            Rendering.get_foreground(markup.name) orElse Rendering.get_text_color(markup) match {
               case Some(c) => (html_class(c.toString, html), offset)
-              case None => (html_class(name, html), offset)
+              case None => (html_class(markup.name, html), offset)
             }
           case XML.Text(text) =>
             val offset = end_offset - Symbol.length(text)