aboutsummaryrefslogtreecommitdiff
path: root/haddock-api/src/Haddock
diff options
context:
space:
mode:
authorAlec Theriault <alec.theriault@gmail.com>2018-10-26 09:10:59 -0700
committerAlec Theriault <alec.theriault@gmail.com>2018-10-26 09:10:59 -0700
commitf909ffd8353d6463fd5dd184998a32aa98d5c922 (patch)
treec31e577f7119acc3fc7a9e8cc9910d3fe62e56ec /haddock-api/src/Haddock
parent223a86e2f7bcf83e0e1e45cea82300a9ed7b9219 (diff)
Make 'Contents' in NewOcean scrollable
This only happens if the contents block on the left is so big that it doesn't fit (vertically) on the page. If that happens, we want it to be scrollable.
Diffstat (limited to 'haddock-api/src/Haddock')
0 files changed, 0 insertions, 0 deletions