formats widget polishing; more reasonable docking