install source code pro as font for diff and build pages

app/assets/stylesheets/framework/fonts.scss

@@ -39,3 +39,45 @@
     font-url('SourceSansPro-Bold.ttf.woff2') format('woff2'),
     font-url('SourceSansPro-Bold.ttf.woff') format('woff');
 }
+
+/* Fonts Source Code Pro*/
+@font-face {
+  font-family: 'Source Code Pro';
+  font-style: normal;
+  font-weight: 300;
+  src:
+    local('Source Code Pro Light'),
+    local('SourceCodePro-Light'),
+    font-url('SourceCodePro-Light.ttf.woff2') format('woff2'),
+    font-url('SourceCodePro-Light.ttf.woff') format('woff');
+}
+@font-face {
+  font-family: 'Source Code Pro';
+  font-style: normal;
+  font-weight: 400;
+  src:
+    local('Source Code Pro'),
+    local('SourceCodePro-Regular'),
+    font-url('SourceCodePro-Regular.ttf.woff2') format('woff2'),
+    font-url('SourceCodePro-Regular.ttf.woff') format('woff');
+}
+@font-face {
+  font-family: 'Source Code Pro';
+  font-style: normal;
+  font-weight: 600;
+  src:
+    local('Source Code Pro Semibold'),
+    local('SourceCodePro-Semibold'),
+    font-url('SourceCodePro-Semibold.ttf.woff2') format('woff2'),
+    font-url('SourceCodePro-Semibold.ttf.woff') format('woff');
+}
+@font-face {
+  font-family: 'Source Code Pro';
+  font-style: normal;
+  font-weight: 700;
+  src:
+    local('Source Code Pro Bold'),
+    local('SourceCodePro-Bold'),
+    font-url('SourceCodePro-Bold.ttf.woff2') format('woff2'),
+    font-url('SourceCodePro-Bold.ttf.woff') format('woff');
+}

app/assets/stylesheets/framework/variables.scss

@@ -132,6 +132,7 @@ $deleted: #f77;
  */
 $monospace_font: 'Menlo', 'Liberation Mono', 'Consolas', 'DejaVu Sans Mono', 'Ubuntu Mono', 'Courier New', 'andale mono', 'lucida console', monospace;
 $regular_font: 'Source Sans Pro', "Helvetica Neue", Helvetica, Arial, sans-serif;
+$source_code_font: 'Source Code Pro', "Helvetica Neue", Helvetica, Arial, sans-serif;
 /*
 * Dropdowns

app/assets/stylesheets/pages/builds.scss

@@ -2,7 +2,7 @@
   pre.trace {
     background: #111111;
     color: #fff;
-    font-family: $monospace_font;
+    font-family: $source_code_font;
     white-space: pre;
     white-space: pre-wrap;       /* css-3 */
     white-space: -moz-pre-wrap;  /* Mozilla, since 1999 */

app/assets/stylesheets/pages/diff.scss

@@ -54,7 +54,9 @@
     table {
       width: 100%;
-      font-family: $monospace_font;
+      font-family: $source_code_font;
+      font-size: 14pt;
+      color: #555555;
       border: none;
       border-collapse: separate;
       margin: 0px;