3c6b2f6bf4
When the 'pause' button was clicked, the text could jump and become realigned according to the space taken by the now visible scrollbar. This change fixes that issue by leaving a gap for the scrollbar whether it is visible or hidden.
