diff options
author | Alec Theriault <alec.theriault@gmail.com> | 2018-11-07 13:31:19 -0800 |
---|---|---|
committer | Alec Theriault <alec.theriault@gmail.com> | 2018-11-07 13:41:57 -0800 |
commit | ad157c408cd7ad4badec71a84551a836a343f27b (patch) | |
tree | 946d2bbae8ea8d263539a47faed5c884b6a7f76e /html-test/ref/OrphanInstancesType.html | |
parent | 2a46036ea4e2e6bb6505ebbfd3e4609aeb7c3845 (diff) |
Allow "Contents" summary to scroll in a fixed div
In the unfortunate event that the "Contents" summary doesn't fit
vertically (like in the "Prelude"), it will be scrollable.
Diffstat (limited to 'html-test/ref/OrphanInstancesType.html')
0 files changed, 0 insertions, 0 deletions