Tweaks to the injector UI

pkg/polymer/lib/src/build/log_injector.css

Index: pkg/polymer/lib/src/build/log_injector.css
diff --git a/pkg/polymer/lib/src/build/log_injector.css b/pkg/polymer/lib/src/build/log_injector.css
index f9ea7e3fde8c148f8245e1c28b2f72d3cb99e9a4..6ebdf0bda5470212994f358bf86c4863dc604820 100644
--- a/pkg/polymer/lib/src/build/log_injector.css
+++ b/pkg/polymer/lib/src/build/log_injector.css
@@ -1,17 +1,19 @@
 /** Copyright (c) 2013, the Dart project authors.  Please see the AUTHORS file
-    for details. All rights reserved. Use of this source code is governed by a
+    for details. All rights reserved. Use of this source code is gverned by a
     BSD-style license that can be found in the LICENSE file. **/
 .build-logs {
   position: fixed;
   bottom: 0;
   right: 0;
+  max-width: 50%;
+  z-index: 10000;
 }
 .build-logs .log {
-  padding: 6px;
+  padding: 0.6em;
   background: black;
   color: white;
   border: solid 1px #666;
-  margin-bottom: -1px;
+  border-bottom: 0px;
 }
 .build-logs .fine {
   color: green;
@@ -26,7 +28,17 @@
   color: red;
 }
 .build-logs .message {
-  font-size: 12px;
+  white-space: nowrap;
+  text-overflow: ellipsis;
+  overflow-x: hidden;
+  cursor: pointer;
+}
+.build-logs .message.expanded {
+  white-space: normal;
+}
+.build-logs .message a {
+  color: #CCF;
+  text-decoration: bold;
 }
 .build-logs .menu {
   text-align: right;
@@ -34,11 +46,10 @@
 .build-logs .menu div {
   display: inline-block;
   background: #666;
-  font-size: 16px;
   font-weight: bold;
   cursor: pointer;
   border: solid 1px black;
-  padding: 6px 10px;
+  padding: 0.6em 1em;
 }
 .build-logs .menu div.active {
   background: black;
@@ -48,8 +59,8 @@
 }
 .build-logs .content {
   max-height: 500px;
-  max-width: 500px;
-  font-size: 10px;
+  font-size: 1em;
+  overflow-y: auto;
 }
 .build-logs .content > div {
   display: none;
@@ -57,3 +68,10 @@
 .build-logs .content > div.active {
   display: block;
 }
+
+.build-logs .content span.text {
+  padding: 0.4em 0.2em 0.2em 2em;
+  white-space: pre;
+  display: block;
+  font-family: monospace;
+}