diff options
| -rw-r--r-- | haddock-api/resources/html/Ocean.std-theme/ocean.css | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/haddock-api/resources/html/Ocean.std-theme/ocean.css b/haddock-api/resources/html/Ocean.std-theme/ocean.css index 0b18d6da..de706b99 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; } |