aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-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;
}
}