Navigation frame styling

Patch #2980495

- icon background (home, log out, ...) on mouse over now fills entire
  box
- icon border changed from 0.05em to 1px, fixes display on Chrome (it
  was rounded to 0)
- redesigned fast filter, resizes correctly with frame, reset button
  is better aligned
- decreased margin on database tree
- fixed list margin for RTL languages (that list is always in ltr so
  my change works)

themes/original/css/theme_left.css.php

@@ -101,10 +101,12 @@ ul#databaseList {
     margin-bottom:      0.5em;
     padding-bottom:     0.5em;
     padding-<?php echo $left; ?>:     1.5em;
+    font-style: italic;
 }
 
 ul#databaseList a {
     display: block;
+    font-style: normal;
 }
 
 div#navidbpageselector a,
@@ -113,6 +115,11 @@ ul#databaseList a {
     color:              <?php echo $GLOBALS['cfg']['NaviColor']; ?>;
 }
 
+ul#databaseList ul {
+    padding-left: 1em;
+    padding-right: 0;
+}
+
 ul#databaseList a:hover {
     background:         <?php echo $GLOBALS['cfg']['NaviPointerBackground']; ?>;
     color:              <?php echo $GLOBALS['cfg']['NaviPointerColor']; ?>;
@@ -132,10 +139,10 @@ div#reloadlink a img,
 div#leftframelinks a img.icon {
     margin:             0;
     padding:            0.2em;
-    border:             0.05em solid <?php echo $GLOBALS['cfg']['NaviColor']; ?>;
+    border:             0.1em solid <?php echo $GLOBALS['cfg']['NaviColor']; ?>;
 }
 
-div#leftframelinks a:hover {
+div#leftframelinks a:hover img {
     background:         <?php echo $GLOBALS['cfg']['NaviPointerBackground']; ?>;
     color:              <?php echo $GLOBALS['cfg']['NaviPointerColor']; ?>;
 }