edivm format dropdown, introduce placeholders

web/header.php

@@ -30,3 +30,19 @@
         <script src="nlvmi.js?2"></script>
         <div class=container-fluid><div class="row" style="background-color:lightgreen;"><div class="col-sm"><h1><a href="?" style=color:white;>nlvmi</a><a href="?" style="color:black;font-size:10px;">@<?php echo gethostname();?></a></h1></div><div class=col-sm style=text-align:right>
         <?php if($_SESSION['isadmin']==1){ echo "<a style=color:black href=# onclick=\"javascript:post('?', {'usermgmt': 'show'});\">usermanagement</a></br>"; } ?><a style=color:black href=# onclick="javascript:post('?', {'logout': 'logout'});">logout</a></div></div>
+        
+        
+        
+        
+<style>        
+        ::-webkit-input-placeholder {
+   font-size: 9px!important;
+}
+
+:-moz-placeholder { /* Firefox 18- */
+      font-size: 8px!important;
+}
+::-moz-placeholder {  /* Firefox 19+ */
+      font-size: 8px!important;
+}
+</style>