diff options
| author | Nuno Alexandre <nuno@channable.com> | 2018-02-09 08:11:12 +0100 |
|---|---|---|
| committer | Alec Theriault <alec.theriault@gmail.com> | 2018-10-18 08:14:32 -0700 |
| commit | 19344526243780dca32413208c82dab1c3636ea4 (patch) | |
| tree | 216dbcec1a08e82e1f22c7c1dd38dfb5bcf05a14 /haddock-api/resources/html/NewOcean.std-theme | |
| parent | b3d29825f5807f74be3e3d6b6318dad0bbcedb42 (diff) | |
Make synopsis scrollable on wide screens
When the synopsis is longer than the screen, you can’t see its end
and you can't scroll down either, making the content unreachable.
Diffstat (limited to 'haddock-api/resources/html/NewOcean.std-theme')
| -rw-r--r-- | haddock-api/resources/html/NewOcean.std-theme/new-ocean.css | 1 |
1 files changed, 1 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 a3b75dc7..45775494 100644 --- a/haddock-api/resources/html/NewOcean.std-theme/new-ocean.css +++ b/haddock-api/resources/html/NewOcean.std-theme/new-ocean.css @@ -138,6 +138,7 @@ body.js-enabled .hide-when-js-enabled { #synopsis .show { border: 1px solid #5E5184; padding: 0.7em; + max-height: 65vh; } } |