aboutsummaryrefslogtreecommitdiff
path: root/haddock-api/resources/html/NewOcean.std-theme
diff options
context:
space:
mode:
authorNuno Alexandre <nuno@channable.com>2018-02-09 08:11:12 +0100
committerAlec Theriault <alec.theriault@gmail.com>2018-10-18 08:14:32 -0700
commit19344526243780dca32413208c82dab1c3636ea4 (patch)
tree216dbcec1a08e82e1f22c7c1dd38dfb5bcf05a14 /haddock-api/resources/html/NewOcean.std-theme
parentb3d29825f5807f74be3e3d6b6318dad0bbcedb42 (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.css1
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;
}
}