diff options
| author | David Waern <david.waern@gmail.com> | 2011-10-01 01:25:39 +0200 |
|---|---|---|
| committer | David Waern <david.waern@gmail.com> | 2011-10-01 01:25:39 +0200 |
| commit | 4d6b343127aa3d545473fe9e80821b8d4587f6a1 (patch) | |
| tree | 0791d7d9e440e4c5a2c46e3b4aa5fcd1ccf1519d /html/Ocean.std-theme/ocean.css | |
| parent | 38ce6d5496e234ebaa0ad10c6c72ed7dad9f6a35 (diff) | |
Merge in darcs patch from Simon Meier:
Wed Jun 1 19:41:16 CEST 2011 iridcode@gmail.com
* prettier haddock coverage info
The new coverage info rendering uses less horizontal space. This reduces the
number of unnecessary line-wrappings. Moreover, the most important information,
how much has been documented already, is now put up front. Hopefully, this
makes it more likely that a library author is bothered by the low coverage of
his modules and fixes that issue ;-)
Diffstat (limited to 'html/Ocean.std-theme/ocean.css')
0 files changed, 0 insertions, 0 deletions