Gnocchi with zucchini

1 large red pepper 1 small onion , finely chopped 3 tablespoons extra virgin olive oil 1 garlic clove , crushed 1 tablespoon rosemary , finely chopped 1[...]

300 g yellow zucchini 1 garlic clove , crushed 2 tablespoons olive oil 150 ml cream 50 g gorgonzola , roughly cut 250 g gnocchi (fresh) 1 sprig basil salt[...]