diff options
author | bors-servo <release+servo@mozilla.com> | 2013-07-22 17:12:19 -0700 |
---|---|---|
committer | bors-servo <release+servo@mozilla.com> | 2013-07-22 17:12:19 -0700 |
commit | b94a5ab6d19f57ddf39e6cba0a3f101887f8a38b (patch) | |
tree | 1339ad670995c0729eea98dead6554c983648319 /src/components/script/dom/document.rs | |
parent | 25fdcb3dca2016196f9e7b5714004b88a524f9cc (diff) | |
parent | 7e57b8833679067c2cc8fbf4892598463bcd088b (diff) | |
download | servo-b94a5ab6d19f57ddf39e6cba0a3f101887f8a38b.tar.gz servo-b94a5ab6d19f57ddf39e6cba0a3f101887f8a38b.zip |
auto merge of #614 : metajack/servo/float-height-width, r=pcwalton
We were overshooting on height by including margins, and undershooting on
width by not including margins, borders, and padding.
Diffstat (limited to 'src/components/script/dom/document.rs')
0 files changed, 0 insertions, 0 deletions