Don't let rounding prematurely influence document size when printing

third_party/WebKit/public/web/WebFrame.h

Index: third_party/WebKit/public/web/WebFrame.h
diff --git a/third_party/WebKit/public/web/WebFrame.h b/third_party/WebKit/public/web/WebFrame.h
index fef5c5163e50a6286d0e76b01e94156d7d024c8e..b09cadbb4fd7b7578040ae05d718151cbc6069b7 100644
--- a/third_party/WebKit/public/web/WebFrame.h
+++ b/third_party/WebKit/public/web/WebFrame.h
@@ -85,6 +85,7 @@ struct WebConsoleMessage;
 struct WebFindOptions;
 struct WebFloatPoint;
 struct WebFloatRect;
+struct WebFloatSize;
 struct WebFrameOwnerProperties;
 struct WebPoint;
 struct WebPrintParams;
@@ -507,11 +508,11 @@ public:
     // marginLeft must be initialized to the default values that are used if
     // auto is specified.
     virtual void pageSizeAndMarginsInPixels(int pageIndex,
-                                            WebSize& pageSize,
-                                            int& marginTop,
-                                            int& marginRight,
-                                            int& marginBottom,
-                                            int& marginLeft) = 0;
+        WebFloatSize& pageSize,

[Lei Zhang, 2016/07/06 18:26:45]

nit: Is this the correct style for Blink?

+        int& marginTop,
+        int& marginRight,
+        int& marginBottom,
+        int& marginLeft) = 0;
 
     // Returns the value for a page property that is only defined when printing.
     // printBegin must have been called before this method.