mozilla/servo — pull request #2549 by mbrubeck (2014-06-02 16:28:50+00:00)
Title: Add an option to set device pixel ratio

This is part of the fix for #2276. r? @metajack