mozilla/servo — pull request #614 by metajack (2013-07-23 00:05:31+00:00)
Title: Fix calculation of float height and width.

We were overshooting on height by including margins, and undershooting on
width by not including margins, borders, and padding.