+ change HTML ids of kiwix taskbar

static/server/taskbar.css

@@ -1,4 +1,4 @@
-#toolbar {
+#kiwixtoolbar {
     position: fixed;
     padding: 4px 15px 5px 15px;
     margin-left: -10px;
@@ -9,22 +9,22 @@
     z-index:100;
 }
 
-#home {
+#kiwixhome {
     margin: 0px;
     float: left;
 }
 
-#library {
+#kiwixlibrary {
     margin: 0px;
     float: left;
 }
 
-#searchbox {
+#kiwixsearchbox {
     margin: 0px;
     float: right;
 }
 
-#search {
+#kiwixsearch {
     margin: 0px;
     float: right;
 }

static/server/taskbar.html.part

@@ -1,9 +1,9 @@
-<span id="toolbar" class="ui-widget-header ui-corner-all">
+<span id="kiwixtoolbar" class="ui-widget-header ui-corner-all">
-  <button id="library" onclick="window.location.href='/';">Library</button>
+  <button id="kiwixlibrary" onclick="window.location.href='/';">Library</button>
-  <button id="home" onclick="window.location.href='/__CONTENT__/';">Home</button>
+  <button id="kiwixhome" onclick="window.location.href='/__CONTENT__/';">Home</button>
   <form method="GET" action="/search" />
-    <input type="submit" id="search" value="Search" />
+    <input type="submit" id="kiwixsearch" value="Search" />
-    <input id="searchbox" type="textbox" name="pattern" />
+    <input id="kiwixsearchbox" type="textbox" name="pattern" />
     <input type="hidden" name="content" value="__CONTENT__" />
   </form>
 </span>