Testing font Isabelle