Restructured documentation browser resizing so that the panel/popover is enlarged before items are added and shrunk after items are removed, instead of always before or always after. Fixes numerous animation niggles.