New style details pane

phantomweb/static/css/phantom_domain.css

@@ -11,6 +11,10 @@
     }
 }
 
+#details_table {
+  background-color: #FCFCFC;
+}
+
 #phantom_instance_context_menu {
     display: none;
 }
@@ -26,10 +30,21 @@
 
 #loading_details
 {
+    height: 23px;
+}
+
+#phantom_details_loading_image {
     float: right;
     display: none;
 }
 
+#phantom_domain_filter_list {
+    height: 23px;
+    width: 105px;
+    font-size: 11px;
+    margin: 0;
+}
+
 #phantom_domain_content
 {
     display: table;
@@ -239,9 +254,8 @@
 {
     color: #fffbef;
     display: inline-block;
-    padding: 8px;
+    padding: 6px;
     text-decoration: none;
-    width: 80%;
     text-align: center;
 }
 

phantomweb/static/js/phantom_common.js

@@ -1,3 +1,10 @@
+
+function phantom_alert(alert_text) {
+    var new_alert = '<div class="alert alert-error"><button type="button" class="close" data-dismiss="alert">&times;</button>' + alert_text + '</div>'
+    $("#alert-container").append(new_alert);
+    remove_element_after_delay($("#alert-container .alert").last(), ALERT_FADE_TIME_IN_MS);
+}
+
 function make_url(p) {
     var base_url = document.location.href.concat("/");