Merge branch 'dz-small-ui-improvements' into 'master'

Small ui improvements

* make file tree row 2px smaller for more compact view
* make sub navigation  background a bit darker for better contrast with main navigation

cc @hazelyang @alfredo1 

See merge request !5315