RISE: vertical scrollbar not working in HTML This is a minimal working example for RISE issue damianavila/RISE#629 . See the rendered HTML version on github.io!