diff -r 75a48dc4383e -r baa7a1e57f4a src/Pure/Isar/token.ML
--- a/src/Pure/Isar/token.ML	Tue Feb 25 20:57:57 2014 +0100
+++ b/src/Pure/Isar/token.ML	Tue Feb 25 21:32:26 2014 +0100
@@ -220,7 +220,7 @@
 local
 
 val token_kind_markup =
- fn Command       => (Markup.keyword1, "")
+ fn Command       => (Markup.command, "")
   | Keyword       => (Markup.keyword2, "")
   | Ident         => (Markup.empty, "")
   | LongIdent     => (Markup.empty, "")