diff options
| author |  Trevor Elliott <trevor@galois.com> | 2013-07-31 15:20:09 -0700 |
|---|---|---|
| committer | Trevor Elliott <trevor@galois.com> | 2013-07-31 15:20:09 -0700 |
| commit | a410249671fd93948550c9469a6bd10d709057a7 (patch) | |
| tree | 89537777a22e18d149d850bcb47bdf0111a94e0f /src/js/firefox | |
| parent | c3c96bff28172fab02ba70191c386b89b6946314 (diff) | |
Rework the UI
* Remove a dependency on jquery-ui for the injected interface
* New, simpler injected ui
Diffstat (limited to 'src/js/firefox')
| -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. |