aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAlec Theriault <alec.theriault@gmail.com>2018-10-24 20:42:14 -0700
committerAlec Theriault <alec.theriault@gmail.com>2018-10-24 20:42:14 -0700
commited1a0c923823b1372928e3ee3b9e41c1df517fc3 (patch)
tree67e9865809d96848ce35f3b01783f69fdc4742be
parentdd45b10d576a50531a4e702e61370c49bb746264 (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)
-rw-r--r--haddock-api/resources/html/NewOcean.std-theme/new-ocean.css13
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;