images for recolor_image documentation

doc/function/recolor_image.txt

@@ -20,7 +20,7 @@ This function is mostly intended to make symbols in a symbol font wich can match
 | @color@	[[type:color]]		Color by which to replace red.
 
 --Examples--
-> recolor_image("symbol1.png", color: rgb(180,0,0))      ==  [[Image]]
+> recolor_image("symbol1.png", color: rgb(180,0,0))  ==  [[Image]]
 >>> recolor_image(<img src="symbol1.png" alt='"symbol1.png"' style="border:1px solid black;vertical-align:middle;margin:1px;" />, color: rgb(180,0,0)) == <img src="symbol1_red.png" alt='"symbol1_red.png"' style="border:1px solid black;vertical-align:middle;margin:1px;" />
 > recolor_image("symbol1.png", color: rgb(100,255,0))  ==  [[Image]]
 >>> recolor_image(<img src="symbol1.png" alt='"symbol1.png"' style="border:1px solid black;vertical-align:middle;margin:1px;" />, color: rgb(100,255,0)) == <img src="symbol1_green.png" alt='"symbol1_green.png"' style="border:1px solid black;vertical-align:middle;margin:1px;" />