Hi everybody, Who's going to add the Rodent theme to CVS? Francois? It does not seem right that the new default theme is not in HEAD...