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 d9d249ce5ebb082163a322217da467453efb0626..63443f195d95251cef5acdc98f26432af9badf5f 100644 --- a/haddock-api/resources/html/NewOcean.std-theme/new-ocean.css +++ b/haddock-api/resources/html/NewOcean.std-theme/new-ocean.css @@ -144,6 +144,7 @@ body.js-enabled .hide-when-js-enabled { #package-header .caption { display: inline-block; margin: 3px 1em 2px 2em; + float: left; } #package-header ul.links {