// CSS colours that are three characters #abc map onto #aabbcc
#000
#133
#146
#147
#148
#150
#151
#333
#337
#33c
#999
#fff
// Ordinary HTML colours.
#000000
#0000FF
#999999
#343434
#3d4421
#4b4e40
#505a2b
#545e2d
#555555
#626e35
#707e3c
#7c8b43
#808080
#a2a88f
#a8bd5b
#c06d30
#CC00CC
#cce473
#d8e0bf
#e2ebc2
#E7573B
#e7eecc
#eaf1d4
#f5ffd3
#fd8f40
#fdbb75
#FF0000
#ff943c
#ffc27b
#ffffff
#FFFFFF
#ffffff
#FFFFFF