diff options
author | Benjamin Jones <bjones@galois.com> | 2013-08-05 16:10:59 -0700 |
---|---|---|
committer | Benjamin Jones <bjones@galois.com> | 2013-08-05 16:10:59 -0700 |
commit | 51f5a2477adb718a1868483cf00e04816bf7423a (patch) | |
tree | a2d98aadae81bd58ef3c331b4c8c17bcad9efe83 /src/js/firefox/lib/main.js | |
parent | 5d0167e9bb639e58698ad6d2c9d279f2d2474dbe (diff) | |
parent | 50f92b54550aa296cdc902c957af1efd35b24da1 (diff) |
Merge branch 'new-ui' into new-ui-severity
Diffstat (limited to 'src/js/firefox/lib/main.js')
-rw-r--r-- | src/js/firefox/lib/main.js | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/src/js/firefox/lib/main.js b/src/js/firefox/lib/main.js index dfcacb1..8645646 100644 --- a/src/js/firefox/lib/main.js +++ b/src/js/firefox/lib/main.js @@ -89,8 +89,10 @@ fiveui.firefox.main = function() { // store the contents of the injected css, so that we can inject it later var injectedCSS = [ data.load('injected/injected.css'), - data.load('jquery/bundled.css') - ].join('\n'); + data.load('css/ui.css'), + data.load('jquery/bundled.css'), + data.load('font-awesome/css/font-awesome.css') + ].join('\n') /** * Inject code and resources into the specified tab's web page. |