rename #header div to #topo3-header

Author: mmunz

css/style.css

@@ -47,7 +47,7 @@ a:hover, a:focus {
     background-color: #888;
 }
 
-#header {
+#topo3-header {
     width: 100;
     position: absolute;
     top: 0;

js/topo3.js

@@ -159,7 +159,7 @@ function insertHeader() {
         controls += '<button id="toggle-icvpn" class="btn" onclick="toggleIcvpn()">' + btnIcvpnLabel + '</button>';
         controls += '<input id="search-node" name="search-node" placeholder="Search (IP or hostname)" />';
         controls += '</div>';
-        $('#' + targetDiv).before('<div id="header">' + controls + '</div>');
+        $('#' + targetDiv).before('<div id="topo3-header">' + controls + '</div>');
     }
 }
 
@@ -189,7 +189,7 @@ function updateStats() {
     if ($('#topo3-stats').length > 0) {
         $("#topo3-stats").html(stats);
     } else {
-        $("#header").prepend('<div id="topo3-stats">' + stats + '</div>');
+        $("#topo3-header").prepend('<div id="topo3-stats">' + stats + '</div>');
     }
 }