From 74f791936f28b175265994494412698e90d0e85f Mon Sep 17 00:00:00 2001
From: Alec Theriault <alec.theriault@gmail.com>
Date: Fri, 26 Oct 2018 09:36:46 -0700
Subject: Revert "Make 'Contents' in NewOcean scrollable"
This reverts commit f909ffd8353d6463fd5dd184998a32aa98d5c922.
I missed the fact this also forces the 'Contents' to always go down
to the bottom of the page.
---
haddock-api/resources/html/NewOcean.std-theme/new-ocean.css | 2 --
1 file changed, 2 deletions(-)
(limited to 'haddock-api/resources/html/NewOcean.std-theme')
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 {
--
cgit v1.2.3