+ new resources

static/jqueryui/include.html.part

@@ -0,0 +1,3 @@
+<link type="text/css" href="/skin/jqueryui/css/smoothness/jquery-ui.custom.css" rel="Stylesheet" />
+<script type="text/javascript" src="/skin/jqueryui/js/jquery.min.js"></script>
+<script type="text/javascript" src="/skin/jqueryui/js/jquery-ui.custom.min.js"></script>

static/server/taskbar.css

@@ -0,0 +1,30 @@
+#toolbar {
+    position: fixed;
+    padding: 4px 15px 5px 15px;
+    margin-left: -10px;
+    margin-right: -10px;
+    left:0;
+    right:0;
+    top: 10px;
+    z-index:100;
+}
+
+#home {
+    margin: 0px;
+    float: left;
+}
+
+#library {
+    margin: 0px;
+    float: left;
+}
+
+#searchbox {
+    margin: 0px;
+    float: right;
+}
+
+#search {
+    margin: 0px;
+    float: right;
+}

static/server/taskbar.html.part

@@ -0,0 +1,10 @@
+<span id="toolbar" class="ui-widget-header ui-corner-all">
+  <button id="library" onclick="window.location.href='/';">Library</button>
+  <button id="home" onclick="window.location.href='/__CONTENT__/';">Home</button>
+  <form method="GET" action="/search" />
+    <input type="submit" id="search" value="Search" />
+    <input id="searchbox" type="textbox" name="pattern" />
+    <input type="hidden" name="content" value="__CONTENT__" />
+  </form>
+</span>
+<div style="display: block; height: 40px;"></div>