2232a92ba8
The current CSS3 border-image is close to a superset of what we were doing for -hippo-background-image. Woot! rename ShellThemeImage to ShellBorderImage and change parsing to look for: border-image: <url> <number>... Rather than -shell-background-image: <url> <length>... percentanges for the border sizes are not currently supported, neither are the keywords for handling of the middle part. We always do 'stretch' for now.
