mozilla/servo — pull request #1390 by pcwalton (2013-12-12 06:01:39+00:00)
Title: layout: Remove unused `content_box_width` field from `Box`.

Shaves 4 bytes off the size of `Box`.