tweak paragraph margin rule. #3856