From f909ffd8353d6463fd5dd184998a32aa98d5c922 Mon Sep 17 00:00:00 2001
From: Alec Theriault <alec.theriault@gmail.com>
Date: Fri, 26 Oct 2018 09:10:59 -0700
Subject: Make 'Contents' in NewOcean scrollable
This only happens if the contents block on the left is so big that it
doesn't fit (vertically) on the page. If that happens, we want it to
be scrollable.
---
haddock-api/resources/html/NewOcean.std-theme/new-ocean.css | 2 ++
1 file changed, 2 insertions(+)
(limited to 'haddock-api')
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 8416176c..de68d995 100644
--- a/haddock-api/resources/html/NewOcean.std-theme/new-ocean.css
+++ b/haddock-api/resources/html/NewOcean.std-theme/new-ocean.css
@@ -81,6 +81,8 @@ 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