Right side tabbed tools can be much smaller (250pix versus 524pix)

Right side tabbed tools can be much smaller (250pix versus 524pix) #156