With #219 we have enabled a CSS theming model, but at present the CSS must be provided by the MAAVIS distribution. We should enable remote CSS loading by allowing the theme property to take a value of the form "http://"...