[FIX] remove a useless border (css fix)
[FIX] adjust view top when header height changes

the header height is not fixed, it can change when the breadcrumbs
start a new line, or when there is only one view type (for ex, in most
reporting views).  So, the top value of the view_manager_body has to be
adjusted accordingly.