rust-lang/rust-playpen — pull request #48 by nodakai (2014-09-08 07:02:07+00:00)
Title: Add the Rust logo at the top-right corner of the editor pane.

Also show the favicon from www.rust-lang.org.