#! /bin/bash
#  [[colorsHTML_name2hexa.sh]] convert HTML colors names to hexa, eg. red -> FF0000
# Required:  sed
#
# Author:
# Fred Radeff, radeff@akademia.ch, radeff.red
# History
# FR, created 2007.01.12 15h01
# No Copyright, steal this!
#########
echo "Automatic converting of colors"
echo "Enter file to convert:"
read filename

replace "snow" "#fffafa" -- $filename
replace "ghost white" "#f8f8ff" -- $filename
replace "GhostWhite" "#f8f8ff" -- $filename
replace "white smoke" "#f5f5f5" -- $filename
replace "WhiteSmoke" "#f5f5f5" -- $filename
replace "gainsboro" "#dcdcdc" -- $filename
replace "floral white" "#fffaf0" -- $filename
replace "FloralWhite" "#fffaf0" -- $filename
replace "old lace" "#fdf5e6" -- $filename
replace "OldLace" "#fdf5e6" -- $filename
replace "linen" "#faf0e6" -- $filename
replace "antique white" "#faebd7" -- $filename
replace "AntiqueWhite" "#faebd7" -- $filename
replace "papaya whip" "#ffefd5" -- $filename
replace "PapayaWhip" "#ffefd5" -- $filename
replace "blanched almond" "#ffebcd" -- $filename
replace "BlanchedAlmond" "#ffebcd" -- $filename
replace "bisque" "#ffe4c4" -- $filename
replace "peach puff" "#ffdab9" -- $filename
replace "PeachPuff" "#ffdab9" -- $filename
replace "navajo white" "#ffdead" -- $filename
replace "NavajoWhite" "#ffdead" -- $filename
replace "moccasin" "#ffe4b5" -- $filename
replace "cornsilk" "#fff8dc" -- $filename
replace "ivory" "#fffff0" -- $filename
replace "lemon chiffon" "#fffacd" -- $filename
replace "LemonChiffon" "#fffacd" -- $filename
replace "seashell" "#fff5ee" -- $filename
replace "honeydew" "#f0fff0" -- $filename
replace "mint cream" "#f5fffa" -- $filename
replace "MintCream" "#f5fffa" -- $filename
replace "azure" "#f0ffff" -- $filename
replace "alice blue" "#f0f8ff" -- $filename
replace "AliceBlue" "#f0f8ff" -- $filename
replace "lavender" "#e6e6fa" -- $filename
replace "lavender blush" "#fff0f5" -- $filename
replace "LavenderBlush" "#fff0f5" -- $filename
replace "misty rose" "#ffe4e1" -- $filename
replace "MistyRose" "#ffe4e1" -- $filename
replace "white" "#ffffff" -- $filename
replace "black" "#000000" -- $filename
replace "dark slate gray" "#2f4f4f" -- $filename
replace "DarkSlateGray" "#2f4f4f" -- $filename
replace "dark slate grey" "#2f4f4f" -- $filename
replace "DarkSlateGrey" "#2f4f4f" -- $filename
replace "dim gray" "#696969" -- $filename
replace "DimGray" "#696969" -- $filename
replace "dim grey" "#696969" -- $filename
replace "DimGrey" "#696969" -- $filename
replace "slate gray" "#708090" -- $filename
replace "SlateGray" "#708090" -- $filename
replace "slate grey" "#708090" -- $filename
replace "SlateGrey" "#708090" -- $filename
replace "light slate gray" "#778899" -- $filename
replace "LightSlateGray" "#778899" -- $filename
replace "light slate grey" "#778899" -- $filename
replace "LightSlateGrey" "#778899" -- $filename
replace "gray" "#bebebe" -- $filename
replace "grey" "#bebebe" -- $filename
replace "light grey" "#d3d3d3" -- $filename
replace "LightGrey" "#d3d3d3" -- $filename
replace "light gray" "#d3d3d3" -- $filename
replace "LightGray" "#d3d3d3" -- $filename
replace "midnight blue" "#191970" -- $filename
replace "MidnightBlue" "#191970" -- $filename
replace "navy" "#000080" -- $filename
replace "navy blue" "#000080" -- $filename
replace "NavyBlue" "#000080" -- $filename
replace "cornflower blue" "#6495ed" -- $filename
replace "CornflowerBlue" "#6495ed" -- $filename
replace "dark slate blue" "#483d8b" -- $filename
replace "DarkSlateBlue" "#483d8b" -- $filename
replace "slate blue" "#6a5acd" -- $filename
replace "SlateBlue" "#6a5acd" -- $filename
replace "medium slate blue" "#7b68ee" -- $filename
replace "MediumSlateBlue" "#7b68ee" -- $filename
replace "light slate blue" "#8470ff" -- $filename
replace "LightSlateBlue" "#8470ff" -- $filename
replace "medium blue" "#0000cd" -- $filename
replace "MediumBlue" "#0000cd" -- $filename
replace "royal blue" "#4169e1" -- $filename
replace "RoyalBlue" "#4169e1" -- $filename
replace "blue" "#0000ff" -- $filename
replace "dodger blue" "#1e90ff" -- $filename
replace "DodgerBlue" "#1e90ff" -- $filename
replace "deep sky blue" "#00bfff" -- $filename
replace "DeepSkyBlue" "#00bfff" -- $filename
replace "sky blue" "#87ceeb" -- $filename
replace "SkyBlue" "#87ceeb" -- $filename
replace "light sky blue" "#87cefa" -- $filename
replace "LightSkyBlue" "#87cefa" -- $filename
replace "steel blue" "#4682b4" -- $filename
replace "SteelBlue" "#4682b4" -- $filename
replace "light steel blue" "#b0c4de" -- $filename
replace "LightSteelBlue" "#b0c4de" -- $filename
replace "light blue" "#add8e6" -- $filename
replace "LightBlue" "#add8e6" -- $filename
replace "powder blue" "#b0e0e6" -- $filename
replace "PowderBlue" "#b0e0e6" -- $filename
replace "pale turquoise" "#afeeee" -- $filename
replace "PaleTurquoise" "#afeeee" -- $filename
replace "dark turquoise" "#00ced1" -- $filename
replace "DarkTurquoise" "#00ced1" -- $filename
replace "medium turquoise" "#48d1cc" -- $filename
replace "MediumTurquoise" "#48d1cc" -- $filename
replace "turquoise" "#40e0d0" -- $filename
replace "cyan" "#00ffff" -- $filename
replace "light cyan" "#e0ffff" -- $filename
replace "LightCyan" "#e0ffff" -- $filename
replace "cadet blue" "#5f9ea0" -- $filename
replace "CadetBlue" "#5f9ea0" -- $filename
replace "medium aquamarine" "#66cdaa" -- $filename
replace "MediumAquamarine" "#66cdaa" -- $filename
replace "aquamarine" "#7fffd4" -- $filename
replace "dark green" "#006400" -- $filename
replace "DarkGreen" "#006400" -- $filename
replace "dark olive green" "#556b2f" -- $filename
replace "DarkOliveGreen" "#556b2f" -- $filename
replace "dark sea green" "#8fbc8f" -- $filename
replace "DarkSeaGreen" "#8fbc8f" -- $filename
replace "sea green" "#2e8b57" -- $filename
replace "SeaGreen" "#2e8b57" -- $filename
replace "medium sea green" "#3cb371" -- $filename
replace "MediumSeaGreen" "#3cb371" -- $filename
replace "light sea green" "#20b2aa" -- $filename
replace "LightSeaGreen" "#20b2aa" -- $filename
replace "pale green" "#98fb98" -- $filename
replace "PaleGreen" "#98fb98" -- $filename
replace "spring green" "#00ff7f" -- $filename
replace "SpringGreen" "#00ff7f" -- $filename
replace "lawn green" "#7cfc00" -- $filename
replace "LawnGreen" "#7cfc00" -- $filename
replace "green" "#00ff00" -- $filename
replace "chartreuse" "#7fff00" -- $filename
replace "medium spring green" "#00fa9a" -- $filename
replace "MediumSpringGreen" "#00fa9a" -- $filename
replace "green yellow" "#adff2f" -- $filename
replace "GreenYellow" "#adff2f" -- $filename
replace "lime green" "#32cd32" -- $filename
replace "LimeGreen" "#32cd32" -- $filename
replace "yellow green" "#9acd32" -- $filename
replace "YellowGreen" "#9acd32" -- $filename
replace "forest green" "#228b22" -- $filename
replace "ForestGreen" "#228b22" -- $filename
replace "olive drab" "#6b8e23" -- $filename
replace "OliveDrab" "#6b8e23" -- $filename
replace "dark khaki" "#bdb76b" -- $filename
replace "DarkKhaki" "#bdb76b" -- $filename
replace "khaki" "#f0e68c" -- $filename
replace "pale goldenrod" "#eee8aa" -- $filename
replace "PaleGoldenrod" "#eee8aa" -- $filename
replace "light goldenrod yellow" "#fafad2" -- $filename
replace "LightGoldenrodYellow" "#fafad2" -- $filename
replace "light yellow" "#ffffe0" -- $filename
replace "LightYellow" "#ffffe0" -- $filename
replace "yellow" "#ffff00" -- $filename
replace "gold" "#ffd700" -- $filename
replace "light goldenrod" "#eedd82" -- $filename
replace "LightGoldenrod" "#eedd82" -- $filename
replace "goldenrod" "#daa520" -- $filename
replace "dark goldenrod" "#b8860b" -- $filename
replace "DarkGoldenrod" "#b8860b" -- $filename
replace "rosy brown" "#bc8f8f" -- $filename
replace "RosyBrown" "#bc8f8f" -- $filename
replace "indian red" "#cd5c5c" -- $filename
replace "IndianRed" "#cd5c5c" -- $filename
replace "saddle brown" "#8b4513" -- $filename
replace "SaddleBrown" "#8b4513" -- $filename
replace "sienna" "#a0522d" -- $filename
replace "peru" "#cd853f" -- $filename
replace "burlywood" "#deb887" -- $filename
replace "beige" "#f5f5dc" -- $filename
replace "wheat" "#f5deb3" -- $filename
replace "sandy brown" "#f4a460" -- $filename
replace "SandyBrown" "#f4a460" -- $filename
replace "tan" "#d2b48c" -- $filename
replace "chocolate" "#d2691e" -- $filename
replace "firebrick" "#b22222" -- $filename
replace "brown" "#a52a2a" -- $filename
replace "dark salmon" "#e9967a" -- $filename
replace "DarkSalmon" "#e9967a" -- $filename
replace "salmon" "#fa8072" -- $filename
replace "light salmon" "#ffa07a" -- $filename
replace "LightSalmon" "#ffa07a" -- $filename
replace "orange" "#ffa500" -- $filename
replace "dark orange" "#ff8c00" -- $filename
replace "DarkOrange" "#ff8c00" -- $filename
replace "coral" "#ff7f50" -- $filename
replace "light coral" "#f08080" -- $filename
replace "LightCoral" "#f08080" -- $filename
replace "tomato" "#ff6347" -- $filename
replace "orange red" "#ff4500" -- $filename
replace "OrangeRed" "#ff4500" -- $filename
replace "red" "#ff0000" -- $filename
replace "hot pink" "#ff69b4" -- $filename
replace "HotPink" "#ff69b4" -- $filename
replace "deep pink" "#ff1493" -- $filename
replace "DeepPink" "#ff1493" -- $filename
replace "pink" "#ffc0cb" -- $filename
replace "light pink" "#ffb6c1" -- $filename
replace "LightPink" "#ffb6c1" -- $filename
replace "pale violet red" "#db7093" -- $filename
replace "PaleVioletRed" "#db7093" -- $filename
replace "maroon" "#b03060" -- $filename
replace "medium violet red" "#c71585" -- $filename
replace "MediumVioletRed" "#c71585" -- $filename
replace "violet red" "#d02090" -- $filename
replace "VioletRed" "#d02090" -- $filename
replace "magenta" "#ff00ff" -- $filename
replace "violet" "#ee82ee" -- $filename
replace "plum" "#dda0dd" -- $filename
replace "orchid" "#da70d6" -- $filename
replace "medium orchid" "#ba55d3" -- $filename
replace "MediumOrchid" "#ba55d3" -- $filename
replace "dark orchid" "#9932cc" -- $filename
replace "DarkOrchid" "#9932cc" -- $filename
replace "dark violet" "#9400d3" -- $filename
replace "DarkViolet" "#9400d3" -- $filename
replace "blue violet" "#8a2be2" -- $filename
replace "BlueViolet" "#8a2be2" -- $filename
replace "purple" "#a020f0" -- $filename
replace "medium purple" "#9370db" -- $filename
replace "MediumPurple" "#9370db" -- $filename
replace "thistle" "#d8bfd8" -- $filename
replace "snow1" "#fffafa" -- $filename
replace "snow2" "#eee9e9" -- $filename
replace "snow3" "#cdc9c9" -- $filename
replace "snow4" "#8b8989" -- $filename
replace "seashell1" "#fff5ee" -- $filename
replace "seashell2" "#eee5de" -- $filename
replace "seashell3" "#cdc5bf" -- $filename
replace "seashell4" "#8b8682" -- $filename
replace "AntiqueWhite1" "#ffefdb" -- $filename
replace "AntiqueWhite2" "#eedfcc" -- $filename
replace "AntiqueWhite3" "#cdc0b0" -- $filename
replace "AntiqueWhite4" "#8b8378" -- $filename
replace "bisque1" "#ffe4c4" -- $filename
replace "bisque2" "#eed5b7" -- $filename
replace "bisque3" "#cdb79e" -- $filename
replace "bisque4" "#8b7d6b" -- $filename
replace "PeachPuff1" "#ffdab9" -- $filename
replace "PeachPuff2" "#eecbad" -- $filename
replace "PeachPuff3" "#cdaf95" -- $filename
replace "PeachPuff4" "#8b7765" -- $filename
replace "NavajoWhite1" "#ffdead" -- $filename
replace "NavajoWhite2" "#eecfa1" -- $filename
replace "NavajoWhite3" "#cdb38b" -- $filename
replace "NavajoWhite4" "#8b795e" -- $filename
replace "LemonChiffon1" "#fffacd" -- $filename
replace "LemonChiffon2" "#eee9bf" -- $filename
replace "LemonChiffon3" "#cdc9a5" -- $filename
replace "LemonChiffon4" "#8b8970" -- $filename
replace "cornsilk1" "#fff8dc" -- $filename
replace "cornsilk2" "#eee8cd" -- $filename
replace "cornsilk3" "#cdc8b1" -- $filename
replace "cornsilk4" "#8b8878" -- $filename
replace "ivory1" "#fffff0" -- $filename
replace "ivory2" "#eeeee0" -- $filename
replace "ivory3" "#cdcdc1" -- $filename
replace "ivory4" "#8b8b83" -- $filename
replace "honeydew1" "#f0fff0" -- $filename
replace "honeydew2" "#e0eee0" -- $filename
replace "honeydew3" "#c1cdc1" -- $filename
replace "honeydew4" "#838b83" -- $filename
replace "LavenderBlush1" "#fff0f5" -- $filename
replace "LavenderBlush2" "#eee0e5" -- $filename
replace "LavenderBlush3" "#cdc1c5" -- $filename
replace "LavenderBlush4" "#8b8386" -- $filename
replace "MistyRose1" "#ffe4e1" -- $filename
replace "MistyRose2" "#eed5d2" -- $filename
replace "MistyRose3" "#cdb7b5" -- $filename
replace "MistyRose4" "#8b7d7b" -- $filename
replace "azure1" "#f0ffff" -- $filename
replace "azure2" "#e0eeee" -- $filename
replace "azure3" "#c1cdcd" -- $filename
replace "azure4" "#838b8b" -- $filename
replace "SlateBlue1" "#836fff" -- $filename
replace "SlateBlue2" "#7a67ee" -- $filename
replace "SlateBlue3" "#6959cd" -- $filename
replace "SlateBlue4" "#473c8b" -- $filename
replace "RoyalBlue1" "#4876ff" -- $filename
replace "RoyalBlue2" "#436eee" -- $filename
replace "RoyalBlue3" "#3a5fcd" -- $filename
replace "RoyalBlue4" "#27408b" -- $filename
replace "blue1" "#0000ff" -- $filename
replace "blue2" "#0000ee" -- $filename
replace "blue3" "#0000cd" -- $filename
replace "blue4" "#00008b" -- $filename
replace "DodgerBlue1" "#1e90ff" -- $filename
replace "DodgerBlue2" "#1c86ee" -- $filename
replace "DodgerBlue3" "#1874cd" -- $filename
replace "DodgerBlue4" "#104e8b" -- $filename
replace "SteelBlue1" "#63b8ff" -- $filename
replace "SteelBlue2" "#5cacee" -- $filename
replace "SteelBlue3" "#4f94cd" -- $filename
replace "SteelBlue4" "#36648b" -- $filename
replace "DeepSkyBlue1" "#00bfff" -- $filename
replace "DeepSkyBlue2" "#00b2ee" -- $filename
replace "DeepSkyBlue3" "#009acd" -- $filename
replace "DeepSkyBlue4" "#00688b" -- $filename
replace "SkyBlue1" "#87ceff" -- $filename
replace "SkyBlue2" "#7ec0ee" -- $filename
replace "SkyBlue3" "#6ca6cd" -- $filename
replace "SkyBlue4" "#4a708b" -- $filename
replace "LightSkyBlue1" "#b0e2ff" -- $filename
replace "LightSkyBlue2" "#a4d3ee" -- $filename
replace "LightSkyBlue3" "#8db6cd" -- $filename
replace "LightSkyBlue4" "#607b8b" -- $filename
replace "SlateGray1" "#c6e2ff" -- $filename
replace "SlateGray2" "#b9d3ee" -- $filename
replace "SlateGray3" "#9fb6cd" -- $filename
replace "SlateGray4" "#6c7b8b" -- $filename
replace "LightSteelBlue1" "#cae1ff" -- $filename
replace "LightSteelBlue2" "#bcd2ee" -- $filename
replace "LightSteelBlue3" "#a2b5cd" -- $filename
replace "LightSteelBlue4" "#6e7b8b" -- $filename
replace "LightBlue1" "#bfefff" -- $filename
replace "LightBlue2" "#b2dfee" -- $filename
replace "LightBlue3" "#9ac0cd" -- $filename
replace "LightBlue4" "#68838b" -- $filename
replace "LightCyan1" "#e0ffff" -- $filename
replace "LightCyan2" "#d1eeee" -- $filename
replace "LightCyan3" "#b4cdcd" -- $filename
replace "LightCyan4" "#7a8b8b" -- $filename
replace "PaleTurquoise1" "#bbffff" -- $filename
replace "PaleTurquoise2" "#aeeeee" -- $filename
replace "PaleTurquoise3" "#96cdcd" -- $filename
replace "PaleTurquoise4" "#668b8b" -- $filename
replace "CadetBlue1" "#98f5ff" -- $filename
replace "CadetBlue2" "#8ee5ee" -- $filename
replace "CadetBlue3" "#7ac5cd" -- $filename
replace "CadetBlue4" "#53868b" -- $filename
replace "turquoise1" "#00f5ff" -- $filename
replace "turquoise2" "#00e5ee" -- $filename
replace "turquoise3" "#00c5cd" -- $filename
replace "turquoise4" "#00868b" -- $filename
replace "cyan1" "#00ffff" -- $filename
replace "cyan2" "#00eeee" -- $filename
replace "cyan3" "#00cdcd" -- $filename
replace "cyan4" "#008b8b" -- $filename
replace "DarkSlateGray1" "#97ffff" -- $filename
replace "DarkSlateGray2" "#8deeee" -- $filename
replace "DarkSlateGray3" "#79cdcd" -- $filename
replace "DarkSlateGray4" "#528b8b" -- $filename
replace "aquamarine1" "#7fffd4" -- $filename
replace "aquamarine2" "#76eec6" -- $filename
replace "aquamarine3" "#66cdaa" -- $filename
replace "aquamarine4" "#458b74" -- $filename
replace "DarkSeaGreen1" "#c1ffc1" -- $filename
replace "DarkSeaGreen2" "#b4eeb4" -- $filename
replace "DarkSeaGreen3" "#9bcd9b" -- $filename
replace "DarkSeaGreen4" "#698b69" -- $filename
replace "SeaGreen1" "#54ff9f" -- $filename
replace "SeaGreen2" "#4eee94" -- $filename
replace "SeaGreen3" "#43cd80" -- $filename
replace "SeaGreen4" "#2e8b57" -- $filename
replace "PaleGreen1" "#9aff9a" -- $filename
replace "PaleGreen2" "#90ee90" -- $filename
replace "PaleGreen3" "#7ccd7c" -- $filename
replace "PaleGreen4" "#548b54" -- $filename
replace "SpringGreen1" "#00ff7f" -- $filename
replace "SpringGreen2" "#00ee76" -- $filename
replace "SpringGreen3" "#00cd66" -- $filename
replace "SpringGreen4" "#008b45" -- $filename
replace "green1" "#00ff00" -- $filename
replace "green2" "#00ee00" -- $filename
replace "green3" "#00cd00" -- $filename
replace "green4" "#008b00" -- $filename
replace "chartreuse1" "#7fff00" -- $filename
replace "chartreuse2" "#76ee00" -- $filename
replace "chartreuse3" "#66cd00" -- $filename
replace "chartreuse4" "#458b00" -- $filename
replace "OliveDrab1" "#c0ff3e" -- $filename
replace "OliveDrab2" "#b3ee3a" -- $filename
replace "OliveDrab3" "#9acd32" -- $filename
replace "OliveDrab4" "#698b22" -- $filename
replace "DarkOliveGreen1" "#caff70" -- $filename
replace "DarkOliveGreen2" "#bcee68" -- $filename
replace "DarkOliveGreen3" "#a2cd5a" -- $filename
replace "DarkOliveGreen4" "#6e8b3d" -- $filename
replace "khaki1" "#fff68f" -- $filename
replace "khaki2" "#eee685" -- $filename
replace "khaki3" "#cdc673" -- $filename
replace "khaki4" "#8b864e" -- $filename
replace "LightGoldenrod1" "#ffec8b" -- $filename
replace "LightGoldenrod2" "#eedc82" -- $filename
replace "LightGoldenrod3" "#cdbe70" -- $filename
replace "LightGoldenrod4" "#8b814c" -- $filename
replace "LightYellow1" "#ffffe0" -- $filename
replace "LightYellow2" "#eeeed1" -- $filename
replace "LightYellow3" "#cdcdb4" -- $filename
replace "LightYellow4" "#8b8b7a" -- $filename
replace "yellow1" "#ffff00" -- $filename
replace "yellow2" "#eeee00" -- $filename
replace "yellow3" "#cdcd00" -- $filename
replace "yellow4" "#8b8b00" -- $filename
replace "gold1" "#ffd700" -- $filename
replace "gold2" "#eec900" -- $filename
replace "gold3" "#cdad00" -- $filename
replace "gold4" "#8b7500" -- $filename
replace "goldenrod1" "#ffc125" -- $filename
replace "goldenrod2" "#eeb422" -- $filename
replace "goldenrod3" "#cd9b1d" -- $filename
replace "goldenrod4" "#8b6914" -- $filename
replace "DarkGoldenrod1" "#ffb90f" -- $filename
replace "DarkGoldenrod2" "#eead0e" -- $filename
replace "DarkGoldenrod3" "#cd950c" -- $filename
replace "DarkGoldenrod4" "#8b6508" -- $filename
replace "RosyBrown1" "#ffc1c1" -- $filename
replace "RosyBrown2" "#eeb4b4" -- $filename
replace "RosyBrown3" "#cd9b9b" -- $filename
replace "RosyBrown4" "#8b6969" -- $filename
replace "IndianRed1" "#ff6a6a" -- $filename
replace "IndianRed2" "#ee6363" -- $filename
replace "IndianRed3" "#cd5555" -- $filename
replace "IndianRed4" "#8b3a3a" -- $filename
replace "sienna1" "#ff8247" -- $filename
replace "sienna2" "#ee7942" -- $filename
replace "sienna3" "#cd6839" -- $filename
replace "sienna4" "#8b4726" -- $filename
replace "burlywood1" "#ffd39b" -- $filename
replace "burlywood2" "#eec591" -- $filename
replace "burlywood3" "#cdaa7d" -- $filename
replace "burlywood4" "#8b7355" -- $filename
replace "wheat1" "#ffe7ba" -- $filename
replace "wheat2" "#eed8ae" -- $filename
replace "wheat3" "#cdba96" -- $filename
replace "wheat4" "#8b7e66" -- $filename
replace "tan1" "#ffa54f" -- $filename
replace "tan2" "#ee9a49" -- $filename
replace "tan3" "#cd853f" -- $filename
replace "tan4" "#8b5a2b" -- $filename
replace "chocolate1" "#ff7f24" -- $filename
replace "chocolate2" "#ee7621" -- $filename
replace "chocolate3" "#cd661d" -- $filename
replace "chocolate4" "#8b4513" -- $filename
replace "firebrick1" "#ff3030" -- $filename
replace "firebrick2" "#ee2c2c" -- $filename
replace "firebrick3" "#cd2626" -- $filename
replace "firebrick4" "#8b1a1a" -- $filename
replace "brown1" "#ff4040" -- $filename
replace "brown2" "#ee3b3b" -- $filename
replace "brown3" "#cd3333" -- $filename
replace "brown4" "#8b2323" -- $filename
replace "salmon1" "#ff8c69" -- $filename
replace "salmon2" "#ee8262" -- $filename
replace "salmon3" "#cd7054" -- $filename
replace "salmon4" "#8b4c39" -- $filename
replace "LightSalmon1" "#ffa07a" -- $filename
replace "LightSalmon2" "#ee9572" -- $filename
replace "LightSalmon3" "#cd8162" -- $filename
replace "LightSalmon4" "#8b5742" -- $filename
replace "orange1" "#ffa500" -- $filename
replace "orange2" "#ee9a00" -- $filename
replace "orange3" "#cd8500" -- $filename
replace "orange4" "#8b5a00" -- $filename
replace "DarkOrange1" "#ff7f00" -- $filename
replace "DarkOrange2" "#ee7600" -- $filename
replace "DarkOrange3" "#cd6600" -- $filename
replace "DarkOrange4" "#8b4500" -- $filename
replace "coral1" "#ff7256" -- $filename
replace "coral2" "#ee6a50" -- $filename
replace "coral3" "#cd5b45" -- $filename
replace "coral4" "#8b3e2f" -- $filename
replace "tomato1" "#ff6347" -- $filename
replace "tomato2" "#ee5c42" -- $filename
replace "tomato3" "#cd4f39" -- $filename
replace "tomato4" "#8b3626" -- $filename
replace "OrangeRed1" "#ff4500" -- $filename
replace "OrangeRed2" "#ee4000" -- $filename
replace "OrangeRed3" "#cd3700" -- $filename
replace "OrangeRed4" "#8b2500" -- $filename
replace "red1" "#ff0000" -- $filename
replace "red2" "#ee0000" -- $filename
replace "red3" "#cd0000" -- $filename
replace "red4" "#8b0000" -- $filename
replace "DeepPink1" "#ff1493" -- $filename
replace "DeepPink2" "#ee1289" -- $filename
replace "DeepPink3" "#cd1076" -- $filename
replace "DeepPink4" "#8b0a50" -- $filename
replace "HotPink1" "#ff6eb4" -- $filename
replace "HotPink2" "#ee6aa7" -- $filename
replace "HotPink3" "#cd6090" -- $filename
replace "HotPink4" "#8b3a62" -- $filename
replace "pink1" "#ffb5c5" -- $filename
replace "pink2" "#eea9b8" -- $filename
replace "pink3" "#cd919e" -- $filename
replace "pink4" "#8b636c" -- $filename
replace "LightPink1" "#ffaeb9" -- $filename
replace "LightPink2" "#eea2ad" -- $filename
replace "LightPink3" "#cd8c95" -- $filename
replace "LightPink4" "#8b5f65" -- $filename
replace "PaleVioletRed1" "#ff82ab" -- $filename
replace "PaleVioletRed2" "#ee799f" -- $filename
replace "PaleVioletRed3" "#cd6889" -- $filename
replace "PaleVioletRed4" "#8b475d" -- $filename
replace "maroon1" "#ff34b3" -- $filename
replace "maroon2" "#ee30a7" -- $filename
replace "maroon3" "#cd2990" -- $filename
replace "maroon4" "#8b1c62" -- $filename
replace "VioletRed1" "#ff3e96" -- $filename
replace "VioletRed2" "#ee3a8c" -- $filename
replace "VioletRed3" "#cd3278" -- $filename
replace "VioletRed4" "#8b2252" -- $filename
replace "magenta1" "#ff00ff" -- $filename
replace "magenta2" "#ee00ee" -- $filename
replace "magenta3" "#cd00cd" -- $filename
replace "magenta4" "#8b008b" -- $filename
replace "orchid1" "#ff83fa" -- $filename
replace "orchid2" "#ee7ae9" -- $filename
replace "orchid3" "#cd69c9" -- $filename
replace "orchid4" "#8b4789" -- $filename
replace "plum1" "#ffbbff" -- $filename
replace "plum2" "#eeaeee" -- $filename
replace "plum3" "#cd96cd" -- $filename
replace "plum4" "#8b668b" -- $filename
replace "MediumOrchid1" "#e066ff" -- $filename
replace "MediumOrchid2" "#d15fee" -- $filename
replace "MediumOrchid3" "#b452cd" -- $filename
replace "MediumOrchid4" "#7a378b" -- $filename
replace "DarkOrchid1" "#bf3eff" -- $filename
replace "DarkOrchid2" "#b23aee" -- $filename
replace "DarkOrchid3" "#9a32cd" -- $filename
replace "DarkOrchid4" "#68228b" -- $filename
replace "purple1" "#9b30ff" -- $filename
replace "purple2" "#912cee" -- $filename
replace "purple3" "#7d26cd" -- $filename
replace "purple4" "#551a8b" -- $filename
replace "MediumPurple1" "#ab82ff" -- $filename
replace "MediumPurple2" "#9f79ee" -- $filename
replace "MediumPurple3" "#8968cd" -- $filename
replace "MediumPurple4" "#5d478b" -- $filename
replace "thistle1" "#ffe1ff" -- $filename
replace "thistle2" "#eed2ee" -- $filename
replace "thistle3" "#cdb5cd" -- $filename
replace "thistle4" "#8b7b8b" -- $filename
replace "gray0" "#000000" -- $filename
replace "grey0" "#000000" -- $filename
replace "gray1" "#030303" -- $filename
replace "grey1" "#030303" -- $filename
replace "gray2" "#050505" -- $filename
replace "grey2" "#050505" -- $filename
replace "gray3" "#080808" -- $filename
replace "grey3" "#080808" -- $filename
replace "gray4" "#0a0a0a" -- $filename
replace "grey4" "#0a0a0a" -- $filename
replace "gray5" "#0d0d0d" -- $filename
replace "grey5" "#0d0d0d" -- $filename
replace "gray6" "#0f0f0f" -- $filename
replace "grey6" "#0f0f0f" -- $filename
replace "gray7" "#121212" -- $filename
replace "grey7" "#121212" -- $filename
replace "gray8" "#141414" -- $filename
replace "grey8" "#141414" -- $filename
replace "gray9" "#171717" -- $filename
replace "grey9" "#171717" -- $filename
replace "gray10" "#1a1a1a" -- $filename
replace "grey10" "#1a1a1a" -- $filename
replace "gray11" "#1c1c1c" -- $filename
replace "grey11" "#1c1c1c" -- $filename
replace "gray12" "#1f1f1f" -- $filename
replace "grey12" "#1f1f1f" -- $filename
replace "gray13" "#212121" -- $filename
replace "grey13" "#212121" -- $filename
replace "gray14" "#242424" -- $filename
replace "grey14" "#242424" -- $filename
replace "gray15" "#262626" -- $filename
replace "grey15" "#262626" -- $filename
replace "gray16" "#292929" -- $filename
replace "grey16" "#292929" -- $filename
replace "gray17" "#2b2b2b" -- $filename
replace "grey17" "#2b2b2b" -- $filename
replace "gray18" "#2e2e2e" -- $filename
replace "grey18" "#2e2e2e" -- $filename
replace "gray19" "#303030" -- $filename
replace "grey19" "#303030" -- $filename
replace "gray20" "#333333" -- $filename
replace "grey20" "#333333" -- $filename
replace "gray21" "#363636" -- $filename
replace "grey21" "#363636" -- $filename
replace "gray22" "#383838" -- $filename
replace "grey22" "#383838" -- $filename
replace "gray23" "#3b3b3b" -- $filename
replace "grey23" "#3b3b3b" -- $filename
replace "gray24" "#3d3d3d" -- $filename
replace "grey24" "#3d3d3d" -- $filename
replace "gray25" "#404040" -- $filename
replace "grey25" "#404040" -- $filename
replace "gray26" "#424242" -- $filename
replace "grey26" "#424242" -- $filename
replace "gray27" "#454545" -- $filename
replace "grey27" "#454545" -- $filename
replace "gray28" "#474747" -- $filename
replace "grey28" "#474747" -- $filename
replace "gray29" "#4a4a4a" -- $filename
replace "grey29" "#4a4a4a" -- $filename
replace "gray30" "#4d4d4d" -- $filename
replace "grey30" "#4d4d4d" -- $filename
replace "gray31" "#4f4f4f" -- $filename
replace "grey31" "#4f4f4f" -- $filename
replace "gray32" "#525252" -- $filename
replace "grey32" "#525252" -- $filename
replace "gray33" "#545454" -- $filename
replace "grey33" "#545454" -- $filename
replace "gray34" "#575757" -- $filename
replace "grey34" "#575757" -- $filename
replace "gray35" "#595959" -- $filename
replace "grey35" "#595959" -- $filename
replace "gray36" "#5c5c5c" -- $filename
replace "grey36" "#5c5c5c" -- $filename
replace "gray37" "#5e5e5e" -- $filename
replace "grey37" "#5e5e5e" -- $filename
replace "gray38" "#616161" -- $filename
replace "grey38" "#616161" -- $filename
replace "gray39" "#636363" -- $filename
replace "grey39" "#636363" -- $filename
replace "gray40" "#666666" -- $filename
replace "grey40" "#666666" -- $filename
replace "gray41" "#696969" -- $filename
replace "grey41" "#696969" -- $filename
replace "gray42" "#6b6b6b" -- $filename
replace "grey42" "#6b6b6b" -- $filename
replace "gray43" "#6e6e6e" -- $filename
replace "grey43" "#6e6e6e" -- $filename
replace "gray44" "#707070" -- $filename
replace "grey44" "#707070" -- $filename
replace "gray45" "#737373" -- $filename
replace "grey45" "#737373" -- $filename
replace "gray46" "#757575" -- $filename
replace "grey46" "#757575" -- $filename
replace "gray47" "#787878" -- $filename
replace "grey47" "#787878" -- $filename
replace "gray48" "#7a7a7a" -- $filename
replace "grey48" "#7a7a7a" -- $filename
replace "gray49" "#7d7d7d" -- $filename
replace "grey49" "#7d7d7d" -- $filename
replace "gray50" "#7f7f7f" -- $filename
replace "grey50" "#7f7f7f" -- $filename
replace "gray51" "#828282" -- $filename
replace "grey51" "#828282" -- $filename
replace "gray52" "#858585" -- $filename
replace "grey52" "#858585" -- $filename
replace "gray53" "#878787" -- $filename
replace "grey53" "#878787" -- $filename
replace "gray54" "#8a8a8a" -- $filename
replace "grey54" "#8a8a8a" -- $filename
replace "gray55" "#8c8c8c" -- $filename
replace "grey55" "#8c8c8c" -- $filename
replace "gray56" "#8f8f8f" -- $filename
replace "grey56" "#8f8f8f" -- $filename
replace "gray57" "#919191" -- $filename
replace "grey57" "#919191" -- $filename
replace "gray58" "#949494" -- $filename
replace "grey58" "#949494" -- $filename
replace "gray59" "#969696" -- $filename
replace "grey59" "#969696" -- $filename
replace "gray60" "#999999" -- $filename
replace "grey60" "#999999" -- $filename
replace "gray61" "#9c9c9c" -- $filename
replace "grey61" "#9c9c9c" -- $filename
replace "gray62" "#9e9e9e" -- $filename
replace "grey62" "#9e9e9e" -- $filename
replace "gray63" "#a1a1a1" -- $filename
replace "grey63" "#a1a1a1" -- $filename
replace "gray64" "#a3a3a3" -- $filename
replace "grey64" "#a3a3a3" -- $filename
replace "gray65" "#a6a6a6" -- $filename
replace "grey65" "#a6a6a6" -- $filename
replace "gray66" "#a8a8a8" -- $filename
replace "grey66" "#a8a8a8" -- $filename
replace "gray67" "#ababab" -- $filename
replace "grey67" "#ababab" -- $filename
replace "gray68" "#adadad" -- $filename
replace "grey68" "#adadad" -- $filename
replace "gray69" "#b0b0b0" -- $filename
replace "grey69" "#b0b0b0" -- $filename
replace "gray70" "#b3b3b3" -- $filename
replace "grey70" "#b3b3b3" -- $filename
replace "gray71" "#b5b5b5" -- $filename
replace "grey71" "#b5b5b5" -- $filename
replace "gray72" "#b8b8b8" -- $filename
replace "grey72" "#b8b8b8" -- $filename
replace "gray73" "#bababa" -- $filename
replace "grey73" "#bababa" -- $filename
replace "gray74" "#bdbdbd" -- $filename
replace "grey74" "#bdbdbd" -- $filename
replace "gray75" "#bfbfbf" -- $filename
replace "grey75" "#bfbfbf" -- $filename
replace "gray76" "#c2c2c2" -- $filename
replace "grey76" "#c2c2c2" -- $filename
replace "gray77" "#c4c4c4" -- $filename
replace "grey77" "#c4c4c4" -- $filename
replace "gray78" "#c7c7c7" -- $filename
replace "grey78" "#c7c7c7" -- $filename
replace "gray79" "#c9c9c9" -- $filename
replace "grey79" "#c9c9c9" -- $filename
replace "gray80" "#cccccc" -- $filename
replace "grey80" "#cccccc" -- $filename
replace "gray81" "#cfcfcf" -- $filename
replace "grey81" "#cfcfcf" -- $filename
replace "gray82" "#d1d1d1" -- $filename
replace "grey82" "#d1d1d1" -- $filename
replace "gray83" "#d4d4d4" -- $filename
replace "grey83" "#d4d4d4" -- $filename
replace "gray84" "#d6d6d6" -- $filename
replace "grey84" "#d6d6d6" -- $filename
replace "gray85" "#d9d9d9" -- $filename
replace "grey85" "#d9d9d9" -- $filename
replace "gray86" "#dbdbdb" -- $filename
replace "grey86" "#dbdbdb" -- $filename
replace "gray87" "#dedede" -- $filename
replace "grey87" "#dedede" -- $filename
replace "gray88" "#e0e0e0" -- $filename
replace "grey88" "#e0e0e0" -- $filename
replace "gray89" "#e3e3e3" -- $filename
replace "grey89" "#e3e3e3" -- $filename
replace "gray90" "#e5e5e5" -- $filename
replace "grey90" "#e5e5e5" -- $filename
replace "gray91" "#e8e8e8" -- $filename
replace "grey91" "#e8e8e8" -- $filename
replace "gray92" "#ebebeb" -- $filename
replace "grey92" "#ebebeb" -- $filename
replace "gray93" "#ededed" -- $filename
replace "grey93" "#ededed" -- $filename
replace "gray94" "#f0f0f0" -- $filename
replace "grey94" "#f0f0f0" -- $filename
replace "gray95" "#f2f2f2" -- $filename
replace "grey95" "#f2f2f2" -- $filename
replace "gray96" "#f5f5f5" -- $filename
replace "grey96" "#f5f5f5" -- $filename
replace "gray97" "#f7f7f7" -- $filename
replace "grey97" "#f7f7f7" -- $filename
replace "gray98" "#fafafa" -- $filename
replace "grey98" "#fafafa" -- $filename
replace "gray99" "#fcfcfc" -- $filename
replace "grey99" "#fcfcfc" -- $filename
replace "gray100" "#ffffff" -- $filename
replace "grey100" "#ffffff" -- $filename
replace "dark grey" "#a9a9a9" -- $filename
replace "DarkGrey" "#a9a9a9" -- $filename
replace "dark gray" "#a9a9a9" -- $filename
replace "DarkGray" "#a9a9a9" -- $filename
replace "dark blue" "#00008b" -- $filename
replace "DarkBlue" "#00008b" -- $filename
replace "dark cyan" "#008b8b" -- $filename
replace "DarkCyan" "#008b8b" -- $filename
replace "dark magenta" "#8b008b" -- $filename
replace "DarkMagenta" "#8b008b" -- $filename
replace "dark red" "#8b0000" -- $filename
replace "DarkRed" "#8b0000" -- $filename
replace "light green" "#90ee90" -- $filename
replace "LightGreen" "#90ee90" -- $filename
  • info/colorshtml_name2hexa.sh.txt
  • Dernière modification: 2018/07/18 09:45
  • par radeff