The viewport resizes in x-direction: When you re-size the browser window, the up-down scrollbar moves to the right edge of the window. However, the viewport does not re-size in y-direction: The left-right scrollbar is fixed at a particular position, and even overlaps with the REPL if the viewport is not tall enough.