Replace font-awesome css with fontello svg font

Author: jasonkliu

css/style.css

@@ -16,6 +16,12 @@
 	font-weight: 500;
 	src: local('Fira Sans Medium'), url("../fonts/FiraSans-Medium.woff") format('woff');
 }
+@font-face {
+    font-family: 'fontello';
+    src: url('../fonts/fontello.svg?32953337#fontello') format('svg');
+    font-weight: normal;
+    font-style: normal;
+}
 
 body {
 	font-family: 'Fira Sans', "Helvetica Neue", Helvetica, Arial, sans-serif;
@@ -277,10 +283,33 @@ ul.laundry-list {
   outline: none;
 }
 
-.fa-external-link {
+ [class^="icon-"]:before, [class*=" icon-"]:before {
+  font-family: "fontello";
+  font-style: normal;
+  font-weight: normal;
+  speak: none;
+ 
+  display: inline-block;
+  text-decoration: inherit;
+  width: 1em;
+  margin-right: .2em;
+  text-align: center;
+  /* opacity: .8; */
+ 
+  /* For safety - reset parent styles, that can break glyph codes*/
+  font-variant: normal;
+  text-transform: none;
+     
+  /* fix buttons height, for twitter bootstrap */
+  line-height: 1em;
+ 
   position: relative;
   float: right;
+  font-size: 120%;
+ 
 }
+ 
+.icon-link-ext:before { content: '\e800'; } /* '' */
 
 #result {
   background-color: #E2EEF6;

fonts/fontello.svg

@@ -3,7 +3,6 @@
 title: The Rust Programming Language
 ---
 
-  <link href="//netdna.bootstrapcdn.com/font-awesome/4.1.0/css/font-awesome.min.css" rel="stylesheet">
     <div class="row install-row">
       <div class="col-md-8">
         <p class="pitch">

index.html

@@ -121,12 +121,12 @@ function handleResult(statusCode, message) {
   }
 }
 
-// Called on successful program run: take edit contents and run in playground
+// Called on successful program run: display output and link to playground
 function handleSuccess(message) {
   resultDiv.style.backgroundColor = successColor;
   var program = encodeURIComponent(editor.getValue());
   var output = "<a href=\"http://play.rust-lang.org/?code=" + program + 
-    "&run=1\"><i class=\"fa fa-external-link\"></i></a>"
+    "&run=1\"><i class=\"icon-link-ext\"></i></a>"
   // console.log(output);
   resultDiv.innerHTML = output + escapeHTML(message);
 }