update default15 theme for ATutor 2.2, and other 2.2 theme adjustments