Further adjustments in offline doc tools