I was playing about with my settings just now, and I noticed that the Dock size slider was disabled. I tried clicking on it, and my dock got smaller. I tried again, and it kept getting smaller and smaller, even when I clicked on the large end! I've tried restarting repairing permission, but the control is still disabled, and my Dock is still ridiculously small! What can I do?