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 /haddock-api/resources/html/NewOcean.std-theme/new-ocean.css | |
| 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 'haddock-api/resources/html/NewOcean.std-theme/new-ocean.css')
| -rw-r--r-- | haddock-api/resources/html/NewOcean.std-theme/new-ocean.css | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/haddock-api/resources/html/NewOcean.std-theme/new-ocean.css b/haddock-api/resources/html/NewOcean.std-theme/new-ocean.css index 8416176c..de68d995 100644 --- a/haddock-api/resources/html/NewOcean.std-theme/new-ocean.css +++ b/haddock-api/resources/html/NewOcean.std-theme/new-ocean.css @@ -81,6 +81,8 @@ body.js-enabled .hide-when-js-enabled { position: fixed; max-width: 10vw; top: 10.2em; + bottom: 1em; + overflow-y: scroll; } #synopsis { |