the UX of that site is quite bad actually. arrow keys and PgUp/PgDn won't scroll the text, and the panel wants to resize horizontally when a person tries to engage the vertical scrollbar