let atop_attributes = [None, "linethickness", "0pt"]
let binder_attributes = [None, "mathcolor", "blue"]
let indent_attributes = [None, "indent", "1em"]
+let keyword_attributes = [None, "mathcolor", "blue"]
let mpres_arrow = Mpresentation.Mo (binder_attributes, "->")
(* TODO unicode symbol "to" *)
and aux_literal xref prec uris l =
let attrs = make_href xref uris in
match l with
- | `Symbol s
- | `Keyword s -> P.Mo (attrs, to_unicode s)
+ | `Symbol s -> P.Mo (attrs, to_unicode s)
+ | `Keyword s -> P.Mo (keyword_attributes @ attrs, to_unicode s)
| `Number s -> P.Mn (attrs, to_unicode s)
and aux_layout mathonly xref pos prec uris l =
let attrs = make_xref xref in