Gte her a Samsung or Asus Ultrabook. Only prob with UltraBook is that they don't have DVD drives, so you will need to buy an external slim DVDRW.
But, they are very light and are usually shipped with Intel's i5 processor and a SSD and USB 3.0. I ordered a few Toshiba ones for my team with the same spec and the boot up time is wayy impressive. Windows 7 Desktop appears in 15s!
Both cost around £500.