From e92941a9ca75560d6de99b86061492ec49ef1525 Mon Sep 17 00:00:00 2001 From: John MacFarlane Date: Thu, 23 Mar 2017 14:59:51 +0100 Subject: Grid tables: remove unnecessary extra space in cells. --- src/Text/Pandoc/Writers/Shared.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/Text/Pandoc/Writers/Shared.hs') diff --git a/src/Text/Pandoc/Writers/Shared.hs b/src/Text/Pandoc/Writers/Shared.hs index 299c6faaf..7e08724d8 100644 --- a/src/Text/Pandoc/Writers/Shared.hs +++ b/src/Text/Pandoc/Writers/Shared.hs @@ -249,7 +249,7 @@ gridTable opts blocksToDoc headless aligns widths headers rows = do let numChars [] = 0 numChars xs = maximum . map offset $ xs let widthsInChars' = - map ((+2) . numChars) $ transpose (rawHeaders' : rawRows') + map numChars $ transpose (rawHeaders' : rawRows') if sum widthsInChars' > writerColumns opts then -- use even widths handleGivenWidths -- cgit v1.2.3