src/Pure/Thy/html.ML

--- a/src/Pure/Thy/html.ML	Sat Jun 25 17:17:49 2011 +0200
+++ b/src/Pure/Thy/html.ML	Sat Jun 25 18:15:36 2011 +0200
@@ -48,7 +48,12 @@
 
 fun span class = ("<span class=" ^ quote (XML.text class) ^ ">", "</span>");
 
-val _ = Markup.add_mode htmlN (fn (name, _) => span name);
+fun span_class (name, props) =
+  (case Markup.get_entity_kind (name, props) of
+    SOME kind => Markup.entityN ^ "_" ^ name
+  | NONE => name);
+
+val _ = Markup.add_mode htmlN (span o span_class);
 
 
 (* symbol output *)