Gnocchi with Broccoli, Red Pepper and Pine Nuts

Sometimes we make more involved meals on weekends since we have more time. Then there are days like today when we're out and about doing errands and such and end up getting home later than we usually do during the week. So here's another standby that comes together quick - very similar to what I've done before. I diced half an onion and half of a red bell pepper and chopped some broccoli (about 1 1/2 c.), then sauteed all of that in lots of olive oil with some salt & pepper. Then I added 2 cloves of minced garlic, 1/3 c. pine nuts and a few pinches of dried basil and marjoram and a little more salt & pepper. Then a package of gnocchi, stir for a bit, then 1/3 c. vegetable broth and cover immediately and let simmer for 3-4 mins. until gnocchi are tender.