Add Search tab to WebUI

Closes #859, #8107.

src/webui/www/private/css/style.css

@@ -320,6 +320,9 @@ a.propButton img {
 
 #mochaToolbar {
     margin-top: 5px;
+    position: relative;
+    height: 29px;
+    overflow-y: hidden;
 }
 
 #mochaToolbar .divider {
@@ -336,6 +339,11 @@ a.propButton img {
     padding-right: 5px;
 }
 
+#mainWindowTabs {
+    float: right;
+    margin: 4px 5px 0 0;
+}
+
 /* Tri-state checkbox */
 
 label.tristate {
@@ -550,3 +558,47 @@ td.statusBarSeparator {
 .statisticsValue {
     text-align: right;
 }
+
+/* Search tab */
+
+#SearchPanel, #SearchPanel_wrapper, #SearchPanel_pad {
+    height: inherit;
+}
+
+#searchResults {
+    padding: 0 20px;
+    height: 100%;
+}
+
+#searchResultsTableContainer {
+    height: calc(100% - 140px);
+    -moz-height: calc(100% - 140px);
+    -webkit-height: calc(100% - 140px);
+    overflow: auto;
+}
+
+#searchResultsTableDiv {
+    height: calc(100% - 26px) !important;
+    -moz-height: calc(100% - 26px) !important;
+    -webkit-height: calc(100% - 26px) !important;
+}
+
+#searchResults .dynamicTable {
+    width: 100%;
+}
+
+#searchResults .numSearchResults {
+    font-style: italic;
+}
+
+.red {
+    color: red;
+}
+
+.green {
+    color: green;
+}
+
+.searchPluginsTableRow {
+    cursor: pointer;
+}