From 2127b7d5135af88dc3f2e7d78136ce24547bca3b Mon Sep 17 00:00:00 2001
From: fiddlosopher <fiddlosopher@788f1e2b-df1e-0410-8736-df70ead52e1b>
Date: Sat, 6 Sep 2008 02:51:44 +0000
Subject: Changed Float to Double in definition of Table element. (Double is
 more efficient in GHC.) Truncate width in opendocument output to 2 decimal
 places.

git-svn-id: https://pandoc.googlecode.com/svn/trunk@1418 788f1e2b-df1e-0410-8736-df70ead52e1b
---
 Text/Pandoc/Writers/HTML.hs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'Text/Pandoc/Writers/HTML.hs')

diff --git a/Text/Pandoc/Writers/HTML.hs b/Text/Pandoc/Writers/HTML.hs
index 4af644a91..066a39090 100644
--- a/Text/Pandoc/Writers/HTML.hs
+++ b/Text/Pandoc/Writers/HTML.hs
@@ -380,7 +380,7 @@ blockToHtml opts (Table capt aligns widths headers rows') = do
 
 colHeadsToHtml :: WriterOptions
                -> [[Char]]
-               -> [Float]
+               -> [Double]
                -> [[Block]]
                -> State WriterState Html
 colHeadsToHtml opts alignStrings widths headers = do
@@ -407,7 +407,7 @@ tableRowToHtml opts aligns columns =
 tableItemToHtml :: WriterOptions
                 -> (Html -> Html)
                 -> [Char]
-                -> Float
+                -> Double
                 -> [Block]
                 -> State WriterState Html
 tableItemToHtml opts tag' align' width' item = do
-- 
cgit v1.2.3