Remove logo from menu, style search field

public/css/icinga/menu.less

@@ -1,19 +1,3 @@
-#menu-header {
-  height: 3.6em;
-  line-height: 3.6em;
-
-  background: -moz-linear-gradient(top, #777, #666);
-  background: -webkit-linear-gradient(top, #777, #666);
-  background: -o-linear-gradient(top, #777, #666);
-  background: -ms-linear-gradient(top, #777, #666);
-  background: linear-gradient(top, #777, #666);
-
-  color: #ddd;
-}
-
-#menu {
-/*  margin-top: 3.6em;*/
-}
 
 #menu a {
   outline: 0;
@@ -41,11 +25,6 @@
   display: block;
 }
 
-/*
-#menu > ul > li > ul {
-  display: none;
-}
-*/
 #menu > ul > li.active {
   background-color: white;
   padding-left: 0.5em;
@@ -124,3 +103,58 @@
   -webkit-box-shadow: none;
   box-shadow: none;
 }
+
+#menu input.search {
+  margin: 0 0 0 0.5em;
+  padding: 0 0.5em 0 2.5em;
+  border: none;
+  width: 13em;
+  border-radius: 0;
+  height: 2.5em;
+  display: block;
+  outline: none;
+  background-color: transparent;
+  background-image: url('../img/icons/search.png');
+  background-repeat: no-repeat;
+  background-position: 0.7em center;
+  color: #f5f5f5;
+  text-shadow: -1px 1px 0 #555555;
+  border-bottom: 1px solid #888;
+}
+
+#menu input.search:-ms-input-placeholder {
+  color: #f5f5f5;
+}
+
+#menu input.search::-webkit-input-placeholder {
+  color: #f5f5f5;
+}
+
+#menu input.search::-moz-placeholder {
+  color: #f5f5f5;
+  opacity: 1;
+}
+
+#menu input.search.active {
+  background-color: white;
+  color: #121212;
+  text-shadow: none;
+  padding-left: 3em;
+  margin-left: 0;
+  background-position: 1.2em center;
+}
+
+#menu input.search.active::-moz-placeholder {
+  color: #999;
+}
+
+#menu input.search.active::-webkit-input-placeholder {
+  color: #999;
+}
+
+#menu input.search.active:-ms-input-placeholder {
+  color: #999;
+}
+
+input:focus { outline: none; }
+