Kosher restaurant Veranda, located within the David Citadel Hotel, offers terrace dining.