diff options
| author | Paolo Veronelli <paolo.veronelli@gmail.com> | 2017-08-29 07:42:13 +0200 |
|---|---|---|
| committer | Alexander Biehl <alexbiehl@gmail.com> | 2017-08-29 07:42:13 +0200 |
| commit | 9d1a32f264008700ebc6e29429b06606422fadda (patch) | |
| tree | 09b86efe51dc000d9affaff12f0d8a83b3406b8f /haddock-api/resources/html/Ocean.std-theme/ocean.css | |
| parent | 1433e3bdc96fe6dc80e9dcb09661f9ba454c5a81 (diff) | |
Removed `nowrap` for interface method sigs (#674)
with nowrap the interfaces method sigs would expand at libitum
Diffstat (limited to 'haddock-api/resources/html/Ocean.std-theme/ocean.css')
| -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; } |