aboutsummaryrefslogtreecommitdiff
path: root/haddock-api/resources
diff options
context:
space:
mode:
Diffstat (limited to 'haddock-api/resources')
-rw-r--r--haddock-api/resources/html/NewOcean.std-theme/new-ocean.css2
1 files changed, 0 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 de68d995..8416176c 100644
--- a/haddock-api/resources/html/NewOcean.std-theme/new-ocean.css
+++ b/haddock-api/resources/html/NewOcean.std-theme/new-ocean.css
@@ -81,8 +81,6 @@ body.js-enabled .hide-when-js-enabled {
position: fixed;
max-width: 10vw;
top: 10.2em;
- bottom: 1em;
- overflow-y: scroll;
}
#synopsis {