dart-lang/chromedeveditor — pull request #3472 by devoncarew (2014-09-30 03:42:18+00:00)
Title: use woff fonts instead

@ussuri, fix https://github.com/dart-lang/chromedeveditor/issues/3471