Initial prototype ui replacement
Turn the UI into a class, instead of a ragtag collection of functions
Fix scrolling of the problems list
Mostly working ui replacement
New UI
Merge remote-tracking branch 'origin/master' into new-ui
Force the initial resize event in the injected ui
Merge branch 'master' into new-ui
added warning, advisory, info reporters to the report object
Merge branch 'new-ui' into new-ui-severity
added styling to different severity levels
Merge branch 'master' into new-ui-severity
Font-awesome without explicit font loading
Remove some debug text
Highlight problems from the new ui
Merge branch 'master' into new-ui
Merge branch 'new-ui' into new-ui-severity
Merge branch 'new-ui'
Merge branch 'master' of github.com:GaloisInc/FiveUI
Merge branch 'master' of github.com:GaloisInc/FiveUI