Tidy code in navigation.blade.php