Fix DFL-1704: Don't use the css content property to display Dragonfly UI

images. Plus fixes for some whitespace issues. Also removed the text for
badges, only use icons.

Author: hzr

src/storage/storage_style.css

@@ -118,7 +118,9 @@ input[type='datetime-local']
 
 .storage_view .sortable-table .check
 {
-  content: url("../ui-images/menu_check.png");
+  background: transparent url("../ui-images/menu_check.png") 50% no-repeat;
+  width: 100%;
+  height: 22px;
 }
 
 

src/ui-scripts/tab.js

@@ -45,14 +45,13 @@ var TabBase = new function()
     return document.querySelector("tab[ref-id='" + this.ref_id + "']");
   };
 
-  this.set_badge = function(type, content)
+  this.set_badge = function(type)
   {
     var tab = this._get_top_tab_element();
     var badge = tab ? tab.querySelector(".badge") : null;
     if (badge)
     {
       badge.addClass(type || "");
-      badge.textContent = content != null ? content : "";
     }
   };
 
@@ -87,7 +86,7 @@ var TabBase = new function()
 
   this.clear_badge = function()
   {
-    this.set_badge("", null);
+    this.set_badge("");
   };
 
   this.set_state = function(state)
@@ -132,7 +131,7 @@ var JavaScriptTab = function(ref_id, name, has_close_button)
     switch (msg.state)
     {
       case "waiting":
-        this.set_badge("paused", "paused");
+        this.set_badge("paused");
         break;
       default:
         this.clear_badge();

src/ui-style/tabs.css

@@ -168,22 +168,8 @@ top-tabs tab[data-state="waiting"].active
 top-tabs .badge
 {
   position: absolute;
-  background: #cf3015; /* daniel/david edit 2011-07-01, was: #df6531 */
-  color: #fff; /* daniel/david edit 2011-07-01, was: #000 */
-  text-shadow: 0 0 1px;  /* daniel/david edit 2011-07-01, was: none */
-  line-height: 1;
-  padding: 1px 3px;
-  border-radius: 4px;
-  top: 1px;
-  right: 1px;
-  font-size: 9px;
-}
-top-tabs .badge:empty
-{
-  display: none;
 }
 
-
 /* Top tabs */
 /* Width depends on the images */
 

src/ui-style/ui.css

@@ -1677,8 +1677,8 @@ toolbar
 /* TODO: this is just a temp workaround. */
 #waiting-for-connection
 {
-    position: relative;
-    z-index: 2;
+  position: relative;
+  z-index: 2;
 }
 
 .close-tab-button
@@ -1768,31 +1768,32 @@ info {
 
 .badge.paused
 {
-    content: url("../ui-images/pause.png");
-    background-color: transparent;
-    top: -2px;
-    left: 21px;
+  background: transparent url("../ui-images/pause.png") 50% no-repeat;
+  height: 15px;
+  width: 15px;
+  left: 22px;
+  top: -1px;
 }
 
 .inspect-node-link
 {
-    cursor: pointer;
+  cursor: pointer;
 }
 
 .inspect-node-link:hover
 {
-    text-decoration: underline;
+  text-decoration: underline;
 }
 
 .internal-link
 {
-    cursor: pointer;
-    text-decoration: underline;
+  cursor: pointer;
+  text-decoration: underline;
 }
 
 .internal-link:hover
 {
-    text-decoration: none;
+  text-decoration: none;
 }
 
 .inline-block