Are there any small Arduino boards with Ethernet built-in?

I have not seen any boards like that but maybe something like a pro mini and a ENC28J60 Ethernet board would be small enough.