merge last index.html change from Igor in colorer/doc/ (I'd better use remote copy next time)
Authored by: techtonik 2010-01-08
Parent: [r1211]
Child: [r1213]