diff options
author | simonmar <unknown> | 2002-06-21 12:43:06 +0000 |
---|---|---|
committer | simonmar <unknown> | 2002-06-21 12:43:06 +0000 |
commit | b8dbfe209d85d26d4b89d9d47b7d0604f6e05c46 (patch) | |
tree | 090b189e1ffb9fcff997e9e449549d39fdb3495f /src | |
parent | f467a9b6f442dd4ffe823ad36b8879d490f649f8 (diff) |
[haddock @ 2002-06-21 12:43:06 by simonmar]
When we have a single code block paragraph, don't place it in
<pre>..</pre>, just use <tt>..</tt> to avoid generating extra vertical
white space in some browsers.
Diffstat (limited to 'src')
-rw-r--r-- | src/HaddockHtml.hs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/HaddockHtml.hs b/src/HaddockHtml.hs index 4739c84b..80a06806 100644 --- a/src/HaddockHtml.hs +++ b/src/HaddockHtml.hs @@ -861,6 +861,7 @@ htmlMarkup = Markup { -- If the doc is a single paragraph, don't surround it with <P> (this causes -- ugly extra whitespace with some browsers). docToHtml (DocParagraph p) = docToHtml p +docToHtml (DocCodeBlock p) = docToHtml (DocMonospaced p) docToHtml doc = markup htmlMarkup doc -- ----------------------------------------------------------------------------- |