I'm not actually too sure. It's a built-in laptop card. I should probably
upgrade someday, but I'd better get a faster CPU before I do that. Anyway, as I
said, I went into grub at start-up and asked it to try to fix the graphics and
it did so perfectly. I'm back on Ubuntu.