Colors for agda and tex