color + texmacs