src/Pure/System/isabelle_font.scala
2013-04-04 ago separate module Isabelle_Font, to keep this out of the way of generic Isabelle_System operations, notably for non-Isabelle/jEdit applications;