From 4d996a14a32ace78c23a336ffdc642ad7b2b6e5f Mon Sep 17 00:00:00 2001
From: Lu Wang <coolwanglu@gmail.com>
Date: Fri, 14 Sep 2012 15:19:53 +0800
Subject: [PATCH] rounding float point numbers

---
 src/HTMLRenderer/LineBuffer.cc | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/src/HTMLRenderer/LineBuffer.cc b/src/HTMLRenderer/LineBuffer.cc
index cd3a854..3617fd1 100644
--- a/src/HTMLRenderer/LineBuffer.cc
+++ b/src/HTMLRenderer/LineBuffer.cc
@@ -80,7 +80,11 @@ void HTMLRenderer::LineBuffer::flush(void)
 
     // TODO: class for height ?
     ostream & out = renderer->html_fout;
-    out << "<div style=\"left:" << x << "px;bottom:" << y << "px;height:" << max_ascent << "px;\" class=\"l t" << tm_id << "\">";
+    out << "<div style=\"left:" 
+        << _round(x) << "px;bottom:" 
+        << _round(y) << "px;height:" 
+        << _round(max_ascent) << "px;\" class=\"l t" 
+        << tm_id << "\">";
 
     auto cur_state_iter = states.begin();
     auto cur_offset_iter = offsets.begin();