diff options
Diffstat (limited to 'haddock-api')
| -rw-r--r-- | haddock-api/resources/html/NewOcean.std-theme/new-ocean.css | 8 | 
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; | 
