mozilla/servo — pull request #774 by metajack (2013-08-23 23:13:09+00:00)
Title: Round to nearest pixels

This fixes too narrow boxes due to flooring computations.

r? @pcwalton