diff options
Diffstat (limited to 'haddock-api/resources')
| -rw-r--r-- | haddock-api/resources/html/NewOcean.std-theme/new-ocean.css | 2 |
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 { |