commands to increase/decrease Isabelle font on-the-fly