Tweaks to the injector UI

Tweaks to the injector UI

BUG=

[Siggi Cherem (dart-lang), 2014-08-08 00:40:45]

https://codereview.chromium.org/451933002/diff/20001/pkg/polymer/lib/src/buil...
File pkg/polymer/lib/src/build/log_injector.dart (right):

https://codereview.chromium.org/451933002/diff/20001/pkg/polymer/lib/src/buil...
pkg/polymer/lib/src/build/log_injector.dart:104: '  <span
class="text">${span['text']}</span>''</div>');
in the end, I switch to span -- when I was checking this in other apps, I run it
in an app that used bootstrap's css. It looked nice, but it totally changed how
the <code> block looked like. This way we have more control over it.

https://codereview.chromium.org/451933002/diff/20001/pkg/polymer/lib/src/buil...
pkg/polymer/lib/src/build/log_injector.dart:112: ..allowNavigation(new
_OpenUriPolicy()));
otherwise `new Element.html` sanitizes the html and deletes the 'href'  :(

[Siggi Cherem (dart-lang), 2014-08-08 00:41:23]

(quick note: other than the comments here, there rest is just what we were
tweaking together earlier today)

[Siggi Cherem (dart-lang), 2014-08-08 00:42:57]

oh - and I decided for now to leave the normal font, and we can play more with
Roboto later :)

[dgrove, 2014-08-08 14:55:32]

lgtm

[Siggi Cherem (dart-lang), 2014-08-08 17:57:42]

submitted in r39039
https://code.google.com/p/dart/source/detail?r=39039

[jakemac, 2014-08-11 13:49:52]

lgtm

https://codereview.chromium.org/451933002/diff/40001/pkg/polymer/lib/src/buil...
File pkg/polymer/lib/src/build/log_injector.dart (right):

https://codereview.chromium.org/451933002/diff/40001/pkg/polymer/lib/src/buil...
pkg/polymer/lib/src/build/log_injector.dart:93: if (hasLocation)
logHtml.write('<div class="location">');
imo it would be clearer to just put all of this location stuff in an if
statement. It is kind of ugly but clearer whats going on.