71b2eea153
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)