mozilla/servo — pull request #1017 by SimonSapin (2013-10-05 21:53:36+00:00)
Title: Move the User-Agent styleesheet to a CSS file instead of a Rust string.

… as suggested in https://github.com/mozilla/servo/pull/1015#issuecomment-25755957

Also add a comment on the `border-width` work-around.