As her machine was locked down with group policy I couldn't revert back to the standard theme using the normal methods so I came across this useful little script thanks to user "Misfortune" on the Windows 7 Forums
If you open up an admin command prompt and run this you should be able to revert it back. You can replace "Classic.Theme" with other options if you look in the file path you should be able to see the other themes...
rundll32.exe %SystemRoot%\system32\shell32.dll,Control_RunDLL %SystemRoot%\system32\desk.cpl desk,@Themes /Action:OpenTheme /file:"C:\Windows\Resources\Ease of Access Themes\classic.theme"