# Colour for the border of a class when refined
	#
	# Defaults to a shade of red
	var redef_colour = "#B24758"