src/Pure/Syntax/lexicon.ML

   | Num => Markup.numeral
   | Float => Markup.numeral
   | Str => Markup.inner_string
   | String => Markup.inner_string
   | Cartouche => Markup.inner_cartouche
-  | Comment _ => Markup.inner_comment
+  | Comment _ => Markup.comment1
   | _ => Markup.empty;
 
 fun report_of_token tok =
   let
     val markup =