diff options
| author | Alec Theriault <alec.theriault@gmail.com> | 2018-11-07 18:12:54 -0800 |
|---|---|---|
| committer | Alec Theriault <alec.theriault@gmail.com> | 2018-11-07 18:12:54 -0800 |
| commit | 4a5648b24e007a2c5aad023ab1bf113be9866b1d (patch) | |
| tree | bec735386ec7eb63b103d0a52aa9ba326ac0ade5 /haddock-api/resources/html/NewOcean.std-theme | |
| parent | d701f163017e59107a14d99bdb6c3f71c2578c3c (diff) | |
overflow-y 'scroll' -> 'auto'
Diffstat (limited to 'haddock-api/resources/html/NewOcean.std-theme')
| -rw-r--r-- | haddock-api/resources/html/NewOcean.std-theme/new-ocean.css | 4 |
1 files changed, 2 insertions, 2 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 906b3954..456052f1 100644 --- a/haddock-api/resources/html/NewOcean.std-theme/new-ocean.css +++ b/haddock-api/resources/html/NewOcean.std-theme/new-ocean.css @@ -83,7 +83,7 @@ body.js-enabled .hide-when-js-enabled { top: 10.2em; left: 2em; bottom: 1em; - overflow-y: scroll; + overflow-y: auto; } #synopsis { @@ -94,7 +94,7 @@ body.js-enabled .hide-when-js-enabled { bottom: 1em; right: 0; max-width: 65vw; - overflow-y: scroll; + overflow-y: auto; /* Ensure that synopsis covers everything (including MathJAX markup) */ z-index: 1; } |