diff options
| author | Alec Theriault <alec.theriault@gmail.com> | 2018-10-26 09:10:59 -0700 |
|---|---|---|
| committer | Alec Theriault <alec.theriault@gmail.com> | 2018-10-26 09:10:59 -0700 |
| commit | f909ffd8353d6463fd5dd184998a32aa98d5c922 (patch) | |
| tree | c31e577f7119acc3fc7a9e8cc9910d3fe62e56ec /html-test/src/BugExportHeadings.hs | |
| parent | 223a86e2f7bcf83e0e1e45cea82300a9ed7b9219 (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 'html-test/src/BugExportHeadings.hs')
0 files changed, 0 insertions, 0 deletions