diff options
author | Alec Theriault <alec.theriault@gmail.com> | 2018-10-24 20:42:14 -0700 |
---|---|---|
committer | Alec Theriault <alec.theriault@gmail.com> | 2018-10-24 20:42:14 -0700 |
commit | ed1a0c923823b1372928e3ee3b9e41c1df517fc3 (patch) | |
tree | 67e9865809d96848ce35f3b01783f69fdc4742be /haddock-api/resources/html/NewOcean.std-theme | |
parent | dd45b10d576a50531a4e702e61370c49bb746264 (diff) |
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)
Diffstat (limited to 'haddock-api/resources/html/NewOcean.std-theme')
-rw-r--r-- | haddock-api/resources/html/NewOcean.std-theme/new-ocean.css | 13 |
1 files changed, 8 insertions, 5 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 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; |