return result;
}
public static ColourPair parseColours(Element element) {
Colour foreground = Colour.valueOf(element.getAttribute("foreground"));
Colour background = Colour.valueOf(element.getAttribute("background"));
return new ColourPair(foreground, background);
}