aboutsummaryrefslogtreecommitdiff
path: root/haddock-api/resources/html/NewOcean.std-theme/new-ocean.css
diff options
context:
space:
mode:
authorNunoAlexandre <alexandre.nunomiguel@gmail.com>2018-03-20 12:30:19 +0100
committerAlec Theriault <alec.theriault@gmail.com>2018-10-18 08:14:32 -0700
commitacd40e506c364bee17a95759aaf0dc583bb0d1ea (patch)
tree43cd03c00fcfc23ac73dced07505cfa85be143cf /haddock-api/resources/html/NewOcean.std-theme/new-ocean.css
parent09fd5bf0a2e17ed51c7bd570ee01810e10e5543b (diff)
Fix responsive triggers overlap issue
The min and max width triggers have the same values, which caused the style resolution to take an intersection of both style declarations when the screen resolution had the size of the limts (say 1280px), causing an odd behaviour and look.
Diffstat (limited to 'haddock-api/resources/html/NewOcean.std-theme/new-ocean.css')
-rw-r--r--haddock-api/resources/html/NewOcean.std-theme/new-ocean.css8
1 files changed, 4 insertions, 4 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 fc99a662..d9d249ce 100644
--- a/haddock-api/resources/html/NewOcean.std-theme/new-ocean.css
+++ b/haddock-api/resources/html/NewOcean.std-theme/new-ocean.css
@@ -73,7 +73,7 @@ body.js-enabled .hide-when-js-enabled {
@media only screen and (min-width: 1280px) {
#content {
- width: 70vw;
+ width: 63vw;
max-width: 1450px;
}
@@ -104,7 +104,7 @@ body.js-enabled .hide-when-js-enabled {
}
-@media only screen and (max-width: 1280px) {
+@media only screen and (max-width: 1279px) {
#content {
width: 80vw;
}
@@ -119,7 +119,7 @@ body.js-enabled .hide-when-js-enabled {
}
}
-@media only screen and (max-width: 1000px) {
+@media only screen and (max-width: 999px) {
#content {
width: 93vw;
}
@@ -158,7 +158,7 @@ Display the package name on top of the menu links and center both elements:
The package name
Source . Contents . Index
*/
-@media only screen and (max-width: 1000px) {
+@media only screen and (max-width: 999px) {
#package-header .caption {
display: block;
margin: 4px 0;