a nice Isabelle style in green