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 | |
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.
-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; } } |