}
public static void toStyle(Element styleElement, Map<String, RichStyle> map, Map<String, RichStyle> extensions)
{
String name = styleElement.getNodeName();
final Opts options = loadOptions(styleElement);
Object extensionNames = options.remove("extends");
RichStyle style = new RichStyle();
Options.apply(style, options);
applyExtensions(extensionNames, style, map, extensions);
map.put(name, style);
}