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/mini_DeprecatedFunction.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/mini_DeprecatedFunction.html')
0 files changed, 0 insertions, 0 deletions