feature #3077: Fix side-nav margin