fixed minor syntax issue for gui colors
html/markdown: improve highlighting