Switched back to default doxygen colors (for now).