v1.3; new options, mj=<font> and gt=<font>