diff --git a/haddock-api/resources/html/Ocean.std-theme/ocean.css b/haddock-api/resources/html/Ocean.std-theme/ocean.css index 0b18d6da6bfded1a49a8866d849e5edeb71f26c5..de706b997b75851dd29554884c8c38c59b23f88d 100644 --- a/haddock-api/resources/html/Ocean.std-theme/ocean.css +++ b/haddock-api/resources/html/Ocean.std-theme/ocean.css @@ -419,9 +419,7 @@ div#style-menu-holder { vertical-align: top; padding-left: 0.5em; } -#interface td.src { - white-space: nowrap; -} + #interface td.doc p { margin: 0; }