Good, compact laser printer?

I'm thinking of getting my mum a compact laser printer for Christmas. She's got a big, bulky inkjet printer that she uses for work, but she mainly prints text-stuff, so she'd be better off with a laser printer. I want to get her a small one, so she doesn't have to deal with the heavy-lifting involved with the big one. Anyone know of any laser printers that are relatively compact and cost less than $100?