Minor documentation CSS color tweak