theme refinements for ATutor 2.2