remove tabs in menu.php

Signed-off-by: Christopher Guindon <chris.guindon@eclipse.org>
remove tabs in nav.php

Signed-off-by: Christopher Guindon <chris.guindon@eclipse.org>