From ed1a0c923823b1372928e3ee3b9e41c1df517fc3 Mon Sep 17 00:00:00 2001
From: Alec Theriault <alec.theriault@gmail.com>
Date: Wed, 24 Oct 2018 20:42:14 -0700
Subject: Fix the synopsis button

Here's these changes are supposed to do:

  * put the synopsis back on the right side
  * properly have it on the edge of the screen on wide screens
  * adjust the background of the synopsis to match the button
    (otherwise the grey blends in with what is underneath)
  * get rid of the dotted purple line
  * the synopsis contents are now scrollable even when in wide
    screens (this has been a long-standing bug)
---
 haddock-api/resources/html/NewOcean.std-theme/new-ocean.css | 13 ++++++++-----
 1 file changed, 8 insertions(+), 5 deletions(-)

(limited to 'haddock-api/resources')

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 e390f225..85d3c4d2 100644
--- a/haddock-api/resources/html/NewOcean.std-theme/new-ocean.css
+++ b/haddock-api/resources/html/NewOcean.std-theme/new-ocean.css
@@ -86,13 +86,17 @@ body.js-enabled .hide-when-js-enabled {
   #synopsis {
     display: block;
     position: fixed;
+    float: left;
     top: 5em;
+    bottom: 1em;
+    right: 0;
     max-width: 65vw;
+    overflow-y: scroll;
     /* Ensure that synopsis covers everything (including MathJAX markup) */
     z-index: 1;
   }
 
-  #synopsis, #table-of-contents {
+  #table-of-contents {
     left: 2em;
   }
 
@@ -114,7 +118,6 @@ body.js-enabled .hide-when-js-enabled {
     padding: 0;
     position: relative;
     margin: 0;
-    border-bottom: 1px dashed #5E5184;
     width: 100%;
   }
 }
@@ -554,7 +557,7 @@ div#style-menu-holder {
 
 #synopsis summary {
   display: block;
-  float: left;
+  float: right;
   width: 29px;
   color: rgba(255,255,255,0);
   height: 110px;
@@ -565,7 +568,7 @@ div#style-menu-holder {
 }
 
 #synopsis details[open] > summary {
-  background: url(synopsis.png) no-repeat -64px -8px;
+  background: url(synopsis.png) no-repeat -75px -8px;
 }
 
 #synopsis ul {
@@ -581,7 +584,7 @@ div#style-menu-holder {
 
 #synopsis ul,
 #synopsis ul li.src {
-  background-color: #f7f7f7;
+  background-color: rgb(250,247,224);
   white-space: nowrap;
   list-style: none;
   margin-left: 0;
-- 
cgit v1.2.3