On Fri, 16 Jan 2015, Gergely Buday wrote:
Is there a canonical way to do this other than digging into isabelle.sty, root.tex and using XeLaTeX?
See also the thread "outputting colours in isabelle documents" from 06-Aug-2014 here https://lists.cam.ac.uk/mailman/htdig/cl-isabelle-users/2014-August/msg00058.html
Colors and fonts are managed analogously in LaTeX. Makarius