HI all, I am going through the gnome-themes package looking into what we need and what we don't need. As far as I can tell the only theme we need from this is the high-contrast-* themes. Crux, Glider and Co could easily go into another theme package which is installable by the user if so wished. What do you think? Ken