Thank you, and totally fair! But for what it's worth, it's not always visible it appears when you move your mouse to the edge, as soon as you move it away it autohides, and you can adjust size :)